In a recent study, the Centers for Disease Control reported that diastolic blood pressures (in mmHg) of adult women in the U. S. are approximately normally distributed with mean 80.5 and standard deviation 9.9. What proportion of women have blood pressures lower than 70