A brand of flashlight battery has normally distributed lifetimes with a mean of 30 hours and a

Question:

A brand of flashlight battery has normally distributed lifetimes with a mean of 30 hours and a standard deviation of 5 hours. A supermarket purchases 500 of these batteries from the manufacturer. What is the probability that at least 80% of them will last longer than 25 hours?