Probability Question

[srt927]

A manufacturer claims that the mean weith of its ice cream cartons is 10 ounces with a standard deviation of .5 ounces. Assume the weights are normally distributed. You test 25 cartons and their mean weight is 10.15 ounces.
a) Assuming the claim is correct, what is the probability that the sample mean is greater than or equal to 10.15 ounces?


I am just not sure how to set this one up to either use

n=(Zc*strd deviation/ E)squared
or
^^
p q(Zc*strd deviation/ E)squared

and I do I plug in the values

 

[galactus]

You're asked to find the probabiltiy associated with a sample mean.

\(\displaystyle \L\\z=\frac{\overline{x}-{\mu}}{\frac{\sigma}{\sqrt{n}}}\)

 

[srt927]

Thank you for the some clarity