Definite Integral to Infinity of Exponential of -a x^2

Theorem

 * $\ds \int_0^\infty e^{-a x^2} \rd x = \frac 1 2 \sqrt {\frac \pi a}$

where $a$ is a strictly positive real number.