int 1/(sqrt{2*pi})*e^(-x^2/2) from x=-2.5..oo