Integrate[1/(sqrt(2pi))e^(-x^2/2), {x, -inf, 4.8}]