Integral to Infinity of Exponential of -t^2

Theorem

 * $\ds \int_0^\infty \map \exp {-t^2} \rd t = \dfrac {\sqrt \pi} 2$