[math-fun] Baserunner's Optimal Path _is_ optimal, after all!