How many runners have run under 4 minute miles in high school?

There's no definitive, publicly accessible database tracking *every* high school runner worldwide. Therefore, it's impossible to give an exact number of high school runners who've run a sub-4-minute mile. While many impressive times are reported, verification and consistent record-keeping across all high schools globally isn't standardized.