Is there any closed form expression for the following integral?
$$ \int\limits_t^\infty \left(1- \operatorname{erf}(\log x) \right )dx $$
or equivalently:
$$ \int\limits_t^\infty \operatorname{erfc}(\log x ) dx $$
I just wish to know if there is any way I can do better than sampling the values at particular points and calculating the area under the curve numerically. Any help is appreciated. Thanks.
\operatorname{blah}
$\endgroup$