integral_-∞^z 1/sqrt(2pi)*e^(-x^2/2)dx = 0.9306