Incorrect
I think the derivation below by DevonMatthews is incorrect.
To check, just set a=0.
LHS = P(Z>a) = 0.5; RHS = phi(a) = 1/sqrt(2*pi) * exp(-1/2*0^2) = 1/sqrt(2*pi). This can't be equal then.
Actually I think to prove this, we don't need to know/use the truncated moments.
First set x = z – a in the formula of P(Z>a). Take the constant terms outside the integral. Using the fact that exp(-x.a) <= 1, note that the resultant integral value is sqrt(pi/2).
You then get LHS <= 1/2*exp(-1/2*a^2)
Last edited: Jun 30, 2011