95% interval for mean battery life with known sigma
A battery manufacturer knows from production history that lifetime has a population standard deviation of hours. A random sample of batteries has a mean lifetime of hours.
Construct a 95% confidence interval for the true mean battery life.