Graham's number — bigger than can be written down

What just happened?

Graham's number is one of the most famous “gigantic” numbers in mathematics — for years it featured in the Guinness Book of Records as the largest number used in a serious mathematical proof. It was introduced by Ronald Graham in 1971 as an upper bound for the answer to a specific problem in Ramsey theory (about colouring the edges of a high-dimensional cube). It was popularised by Martin Gardner in “Scientific American”.

Knuth's arrow notation:

Ordinary powers are not enough to describe it — we need “iterated exponentiation”, where each further arrow means repeating the previous operation:

A single arrow is a power, a double arrow is a power tower, a triple arrow grows even faster. Already with three threes the explosion is visible:

That is still 13 digits. But $3\uparrow\uparrow\uparrow 3 = 3\uparrow\uparrow(3\uparrow\uparrow 3)$ is a power tower over 7 trillion storeys tall — a number so large that its digits alone outnumber the atoms in the Universe.

How big is Graham's number?

Graham's number $G = g_{64}$ is built from 64 “layers” of this notation: $g_1 = 3\uparrow\uparrow\uparrow\uparrow 3$, and in each next layer the number of arrows equals… the whole previous layer. Its vastness is unimaginable: if you tried to write out all of its digits, the entire observable Universe could not hold them — even writing one digit on every atom.

And yet — it is finite:

Despite this inconceivable size, Graham's number is finite and perfectly well defined — it is an ordinary natural number. Mathematicians even know its last digits: $\dots 262464387$. This shows how deceptive the notion of a “big number” can be: between the finite and the infinite there are numbers so large that they exceed all physical imagination, and yet remain ordinary natural numbers.

Why this matters for your exams:

It is a fascinating demonstration of the power of mathematical notation and the limits of human intuition about size. It teaches you to distinguish “finite but enormous” from “infinite” — crucial when you think about powers, the growth rate of functions, and the fact that being finite does not mean “can be written down”.

Remember: Graham's number is a specific, finite natural number — with a well-defined value and known final digits — even though its full written form could not fit in the entire Universe. (A curiosity about powers and the notation of large numbers.)