[math-fun] Puzzle from Emissary about number shrinkage via digit summation

actually a more careful look at my nonrigorous argument last post suggests that in radix R, the number of steps needed is only O(logR).