After the physical training required during World War II, the distribution of mile run times for male students at the University of Illinois was approximately Normal with mean 7.11 minutes and standard deviation 0.74 minutes. What proportion of these students could run a mile in 8 minutes or less?