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