Integral Of Cdf. But your question says it the other I've read the proof for