Suppose the probability distribution of the lifetimes of the participants in the plan is approximately a normal distribution with a mean of 68 years and a standard deviation of 3.5 years. What proportion of the plan recipients would receive payments beyond age 75?