∫e^(-x²/2)dx