The average number of moves a person makes in his or her lifetime is 12 and the standard deviation is 3.7. Assume that the sample is taken from a large population and the correction factor can be ignored. Find the probability that the mean of a sample of 25 people is less than 10.