[math-fun] The asymptotic muffin problem