The life insurance company wishes to update its actuarial tables. Suppose that probability distribution of lifetimes of participants is approximately the normal distribution with mean of 71 years and standard deviation of 3.5 years. What proportion of plan participants are expected to see 75th birthday?