Show that $\int_{-\infty}^{+\infty} \mathrm{e}^{-\frac{x^2}{2}} \mathrm{~d}x$ converges. We admit that its value is $\sqrt{2\pi}$.