[math-fun] Fwd: The moving sofa problem