[math-fun] Asimov triangle problem