I=\int_0^\infty e^{-x^2}\,dx