ディラックのデルタ関数って実在する関数なんですか？幅ゼロ高さ無限大とか言われても納得できないんですが、数式で示して欲しいです。