Chapter 7, Problem 68SE

Batting Averages The website www.mlb.com compiles statistics on all professional baseball players. For the 2017 season, statistics were recorded for all 663 players. Of this population, the mean batting average was $0.236$ with a standard deviation of $\mathrm{0.064.}$ Would it be appropriate to use this data to construct a $95\%$ confidence interval for the mean batting average of professional baseball players for the 2017 season? If so, construct the interval. If not, explain why it would be inappropriate to do so.