\int_{-\infty}^{\infty}e^{-t^2}\,dt=\sqrt{\pi}