[math-fun] Asimov's rolling ball