### Sampling Distribution of Sample Mean: IQ Scores

The population of IQ scores forms a normal distribution with a mean of u=100 and a standard deviation with a mean of sigma=15. What is the probability of obtaining a sample mean greater than m=105 for a random sample of n=9 people? How do I set this problem up, what is the correct formula?