Cumulative distribution function of the normal distribution