Even as someone who is vaguely interested in ...athletics... it never occurred to me look at marathon records. I'm utterly flabbergasted to find out that that is in fact true, that the record is sub 5 minute miles, let alone 4:40.