\int_0^{+\infty}e^{-x^2}\,dx=\frac{\sqrt{\pi}}2