Can I Run A Sub 4-Hour Marathon On Kipchoge's World Record Course?