Asymptotic Expansion for Error Function

Theorem

 * $\ds \map \erf x \sim 1 - \frac {e^{-x^2} } {\sqrt \pi x} \sum_{n \mathop = 0}^\infty \frac {\paren {-1}^n \paren {2 n - 1}!!} {\paren {2 x^2}^n}$

where:
 * $\erf$ denotes the error function
 * $n!!$ denotes the double factorial of $n$
 * $\sim$ denotes asymptotic equivalence as $x \to \infty$.