The life of a Goldline auto battery is normally distributed with a mean of 42.5 months and a standard deviation
of 6.5. The battery warranty is 36 months. What is the probability that a battery will last for 52 months?