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