\int_{-\infty}^{+\infty}e^{-x^2} dx = \sqrt{\pi}