The lifetime of a battery is normally distributed with an average life of 40 hours and a standard deviation of 3.2 hours. If a random sample of 15 batteries is selected, find the probability that the mean battery life from the sample will be greater than 42 hours.