In a population of children at a local elementary school, the average number of sick days taken per year is 6 with a standard deviation of 3. Assume that this distribution is normal. For random...

In a population of children at a local elementary school, the average number of sick days taken per year is 6 with a standard deviation of 3. Assume that this distribution is normal.
For random samples of size 125, what is the probability that a sample mean for sick days would be 7 or greater?

!!!Can you please show the formula Used!!!