normal distribution, mean=25, sd=5, P(x<30)