1 / sqrt(2 * pi) integral_(-inf)^z e^(-u^2 / 2) du