View source for Integral of log of inverse erf from 0 to 1

==Theorem==
The following formula holds:
$$\displaystyle\int_0^1 \log(\mathrm{erf}^{-1}(x)) \mathrm{d}x = \dfrac{\gamma}{2} + \log(2),$$
where $\mathrm{erf}^{-1}$ denotes the [[inverse error function]], $\log$ denotes the [[logarithm]], and $\gamma$ denotes the [[Euler-Mascheroni constant]].

==Proof==

==References==

[[Category:Theorem]]
[[Category:Unproven]]