$\int_0^\infty\Phi(\frac{-x}{\sqrt{2}})d\Phi(x)=?$ where $\Phi(x)$ is the cumulative distribution function of a standard normal random variable.
How to compute this integral involving a cdf?
2
$\begingroup$
probability
integration
-
1In which context such an integral appears? – 2012-05-24