I think you'll find the claim is 2 1/2 miles in 9 mins 22 secs or 3 min 45 sec miles for 2 1/2 of them! It aint happening fella!!
2 1/2 miles is pretty close to 4000m and world champions tend to go through the 4000m mark in the 5k race at about 10 mins 15 secs so our keen chappie is cantering along quite nicely.
"And the winner of the mens 4000m is Mr Walter Mitty"