f is distributed normal. a quick update- i did calculate the inner integral in terms of the error function. and as the f is gaussian, I'm hoping that a closed form solution will emerge.i just need a clever way to prove that the net result is positive.
also this is not a homework problem.