Nombre de Graham

Définition formelle

Le nombre de Graham est le nombre, que l’on note ici $G$, par : $G = g_{64}$

où la suite $(g_{n})$ est définie par : $g_{0} = 4$ et $\forall n \in \N, g_{n+1} = 3 \underset{g_{n} \text{ flèches}} {\underbrace{\uparrow \cdots \uparrow}} 3$
et où les flèches sont les flèches de Knuth.