Pr(X>45-0.5), normal distribution, mean=30, sd=7