int_(-infty)^(-sqrt(2.5)) 1/(sqrt(2*pi))*e^(-x^2/2) dx