The average life of a battery is 4 years, with a standard deviation of 1 year. Assuming that the lives of the batteries follow approximately a normal distribution, find the probability that the mean life of a random sample of 30 such batteries falls between 3.8 and 4.2 years. Enter your answer correct to two decimal places.