As soon as Ronald Graham turned up it wasn't surprisinng that this was related to Ramsey Theory, even as a non-mathematician. Graham's Number is such a wonderfully large thing that introduced me to tetration and up-arrow notation. https://en.wikipedia.org/wiki/Graham%27s_number