The distribution of mass for United States pennies minted since 1982 is approximately normal with mean 2.5 grams. A random sample of 10 pennies minted since 1982 was selected. The sample had a mean mass of 2.47 grams and a standard deviation of 0.04 gram.
The test statistic for the population mean has which of the following distributions?