The mean annual cost of automobile insurance is $939. The standard deviation is $300. You have been asked to compute the probability that a simple random sample of automobile insurance policies of size 100 will have a sample mean within $25 of the population mean.