And still that requires X to not be particularly large. It could conceivably be in ballpark of BB(40).
replyYou, sir, have a very different definition of "not particularly large" than I do!
replyTo be fair, BB(40) is smaller than almost all positive integers.
reply