Limit to Infinity of Error Function

Theorem

 * $\ds \lim_{x \mathop \to \infty} \map \erf x = 1$

where $\erf$ denotes the error function.