Primitive of Error Function

Theorem

 * $\displaystyle \int \map \erf x \rd x = x \, \map \erf x + \frac 1 {\sqrt \pi} e^{-x^2} + C$

where $\erf$ denotes the error function.

Proof
By Derivative of Error Function, we have:


 * $\displaystyle \frac \d {\d x} \paren {\map \erf x} = \frac 2 {\sqrt \pi} e^{-x^2}$

So: