[math-fun] Iterated square root puzzle