The shoe size for men in the U.S. is approximately normally distributed. The average shoe size for men is 10 with a standard deviation of 1. Find the probability that a man has a shoe size less than or equal to 8.5.