Example: The finishing times for 10K races have a mean of 61 minutes and a standard deviation of 9 minutes. If a random sample of 200 runners who have completed 10K races in the past month is collected and their finishing times recorded, what is the probability that the average finishing time of the 200 runners is less than 62 minutes?