Computational Details

Using either the fact that the data are normal or the fact that the central limit theorem applies, we may assume that the sample mean $\overline{x}$ has a normal distribution with:

   mean$$\;=\;\mu$$   and   standard deviation$$\;=\;\frac{\sigma}{\sqrt{n}}$$