CDF(normal distribution with mean= 30 and sd = 25, 1.4241)