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