Comment by lolptdr

Wow, I didn't know this was the same Graham as the Graham's Number[1].

[1] https://en.wikipedia.org/wiki/Graham%27s_number