Vad är den snabbaste jogging tiden i en mil?

Vad är den snabbaste jogging tiden i en mil?

Lite under 4 min.