Mathwords logoMathwords

Graham's Number — Definition, Formula & Examples

Graham's number is an extraordinarily large finite number that once held the record as the largest number ever used in a serious mathematical proof. It arises from a problem in Ramsey theory about coloring the edges of high-dimensional hypercubes.

Graham's number, denoted GG, is defined as g64g_{64} in the recursive sequence where g1=3↑↑↑↑3g_1 = 3 \uparrow\uparrow\uparrow\uparrow 3 (using Knuth's up-arrow notation) and gn=3↑↑⋯↑⏟gn−13g_n = 3 \underbrace{\uparrow \uparrow \cdots \uparrow}_{g_{n-1}} 3 for n≥2n \geq 2. It serves as an upper bound in a problem posed by Ronald Graham and Bruce Rothschild concerning edge-colorings of complete graphs on vertices of an nn-dimensional hypercube.

Key Formula

g1=3↑43,gn=3↑gn−13,G=g64g_1 = 3 \uparrow^4 3, \quad g_n = 3 \uparrow^{g_{n-1}} 3, \quad G = g_{64}
Where:
  • ↑k\uparrow^k = Knuth's up-arrow notation with k arrows, representing iterated hyperoperations
  • gng_n = The nth term in Graham's recursive sequence
  • GG = Graham's number, equal to the 64th term g₆₄

How It Works

Graham's number is built using Knuth's up-arrow notation, which extends exponentiation to unimaginably fast-growing operations. A single arrow ↑\uparrow means exponentiation: 3↑3=33=273 \uparrow 3 = 3^3 = 27. A double arrow ↑↑\uparrow\uparrow means repeated exponentiation (a power tower): 3↑↑3=333=7,625,597,484,9873 \uparrow\uparrow 3 = 3^{3^3} = 7{,}625{,}597{,}484{,}987. Each additional arrow repeats the previous operation. Graham's number starts with four arrows and then stacks 64 layers of this process, with each layer using the previous result as the number of arrows. The result is so large that no physical analogy — not the number of atoms in the universe, not even a power tower of such numbers — comes close to describing it.

Example

Problem: Compute the first few levels of up-arrow notation starting from 3 to see how quickly the numbers grow.
Step 1: Single arrow (exponentiation): One arrow means ordinary exponentiation.
3↑3=33=273 \uparrow 3 = 3^3 = 27
Step 2: Double arrow (tetration / power tower): Two arrows mean a power tower of 3s, three levels high.
3↑↑3=333=327=7,625,597,484,9873 \uparrow\uparrow 3 = 3^{3^3} = 3^{27} = 7{,}625{,}597{,}484{,}987
Step 3: Triple arrow (pentation): Three arrows mean you build a power tower whose height is itself 3↑↑33 \uparrow\uparrow 3, which is over 7.6 trillion levels tall. The result is already beyond comprehension.
3↑↑↑3=3↑↑(3↑↑3)=3↑↑7,625,597,484,9873 \uparrow\uparrow\uparrow 3 = 3 \uparrow\uparrow (3 \uparrow\uparrow 3) = 3 \uparrow\uparrow 7{,}625{,}597{,}484{,}987
Step 4: Four arrows — and that's just g₁: Four arrows repeats this escalation once more. This single value, 3↑↑↑↑33 \uparrow\uparrow\uparrow\uparrow 3, is already unwritable — and Graham's number uses this as merely the number of arrows in the next step, repeating 63 more times.
g1=3↑43g_1 = 3 \uparrow^4 3
Answer: Even g1g_1 dwarfs any number encountered in ordinary mathematics. Graham's number G=g64G = g_{64} is incomprehensibly larger still.

Why It Matters

Graham's number appears in combinatorics courses when studying Ramsey theory, which asks how large a structure must be before a certain pattern is guaranteed to emerge. Understanding how it is constructed teaches you about recursive definitions, hyperoperations, and the surprising fact that finite numbers can exceed any intuitive sense of "big." It also illustrates how upper bounds in proofs can be astronomically larger than the actual answer — the true solution to Graham's original problem is believed to be far smaller, possibly as low as 13.

Common Mistakes

Mistake: Thinking Graham's number is infinite.
Correction: Graham's number is finite. It is a specific, fixed integer — just one so large that it cannot be written out in standard notation, even if every particle in the observable universe were used as a digit.
Mistake: Confusing up-arrow levels: treating 3↑↑33 \uparrow\uparrow 3 as 3×3×33 \times 3 \times 3 or 333^3.
Correction: 3↑↑33 \uparrow\uparrow 3 is a power tower 333=7,625,597,484,9873^{3^3} = 7{,}625{,}597{,}484{,}987, not 2727. Each additional arrow creates an entirely new level of repeated operation, not just another multiplication or exponentiation.

Related Terms