[math-fun] Asimov's 9s question