Historically, a certain medical procedure is completed in a mean time of 2.5 hours with a standard deviation of 1 hour. A random sample of 50 such procedures is collected. Find the probability that the mean time for these 50 cases is more than three hours. You must use one of the calculator functions normalcdf, Normalpdf, infvnorm, binomcdf, binompdf.