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