Similar to:
One can calculate the 95% confidence interval for the mean with the population standard deviation known. This