[Request] How would this compare to Usain Bolt, Michael Phelps, or other greats’ records? : r/theydidthemath