# Find a Probability of a Normally Distributed Random Sample

Please help me figure out how to do this problem. I need to be able to understand how to solve problems like this. Thanks times a million!

Problem: An employer is interested in the commute times for its employees. The commute times (traveling from home to work) of all 2500 employees were recorded. The mean is 23.1928 minutes and the standard deviation is 9.438181 minutes. In a random sample of 10 people, what's the probability that the sample mean commute time will be less than 15 minutes?

note: The data is normally distributed.

-

Let $\bar{X}$ be the sample mean of the commute time of $10$ randomly chosen employees. The mean of the random variable $\bar{X}$ is the population mean. We can assume that this is $23.1928$. The standard deviation $\tau$ of $\bar{X}$ is given by $\tau=\frac{\sigma}{\sqrt{10}}$, where $\sigma$ is the population variance, which we can assume is $9.438181$.
Calculate $\tau$. The probability that $\bar{X}$ is $\le 15$ is the probability that a standard normal $Z$ is $\le \frac{15-\mu}{\tau}$, where $\mu$ is the mean (known) and $\tau$ has just been calculated.
After you have calculated $\frac{15-\mu}{\tau}$, you can find the answer in a table of the standard normal. Not quite, since $\frac{15-\mu}{\tau}$ is negative. But the probability that $Z\le -a$ is the same as the probability that $Z\ge a$. For positive $a$, you can (almost) find this information in the usual tables.
Yes, $2500$ is huge. – André Nicolas Mar 4 '13 at 3:12
Looks reasonable, here the standard deviation is smallish, under $2.5$. And $42$ is way out. For all practical statistical purposes, $Z$ is "never" $\gt 4$. The probability you are looking for is almost exactly equal, to many many decimal places, to the probability we are $\gt -2.13$. The reason the table runs out is that there is no point in extending the table and printing $1.0000, 1.0000,1.0000,\dots$. – André Nicolas Mar 4 '13 at 3:50