Integrate[e^(-x^2/2)/Sqrt[2Pi],x]