[math-fun] Erich Friedman's game