Topic: Mean and Variance of sampling Distribution of the means

Energizer Company claims that the life of their battery products is approximately normally
distributed with a mean length of 10 hours of battery life when used, with the standard
deviation of 2.4 hours. What is the probability that a sample of 9 batteries will have a mean
lifespan of less than 7 hours? (with soulution pls)