For a normal distribution with a known mean and standard deviation, finds the probability of being at most a given value. It standardises with z = (x − mean) ÷ standard deviation and returns the lower-tail probability.