For nine long years the record time for running one mile hovered just above four minutes. Many people said the…