A line up for tickets to a local concert has an average waiting time of 40 minutes with a standard deviation of 7 minutes. If 5000 tickets buyers were in
line, how many of them would expect to wait for less than 47 minutes?