Integrate[E^(-x^2/2)/Sqrt[2 Pi], {x, -Infinity, 1}]