Integral to Infinity of e^-t by Error Function of Root t

Theorem

 * $\ds \int_0^\infty e^{-t} \erf \sqrt t \rd t = \dfrac {\sqrt 2} 2$

where $\erf$ denotes the error function.

Proof
Using the technique of Evaluation of Integral using Laplace Transform: