Use the given data to find the 95% confidence interval estimate of the population mean \(\mu\text{.}\) Assume that the population has a normal distribution.

IQ scores of professional athletes:

Sample size \(n = 25\)

Mean \(\overline{x} = 103\)

Standard deviation \(s = 12\)

\(\lt \mu \lt \)