User:Gaoleihlj

$$F(x)=\int_{-\infty}^{x}{\frac{1}{\sqrt{2\pi}}e^{-\frac{t^2}{2}}dt}$$