Solution
Given a normally distributed lifespan:
Mean = 12.4 yrs
Standard deviation =1.9yrs
x = 17yrs
Hence the probability that it will last longer = 0.0077
1.6m questions
2.0m answers