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