Limited recursion on notation recurses on the binary length of y — proportional to log_2(y) — rather...