グラフ - 186 @ hatenablog

適当に作ってみた。 $\eta(r) = 2 \pi r \cdot \exp(-\pi r^2)$ ですよ。
1.5を超えた辺りから殆ど0か。そりゃ扱い易い。ちなみに $\int_{0}^{\infty} \eta(x) dx = 1$ 。