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