Arithmetic · real student question

Evaluate 4^2^2^2 - 1.

Question

Evaluate

422214^{2^{2^{2}}}-1

Step-by-step solution

  1. Fix the direction of evaluation first — it changes the answer. Stacked exponents are right-associative: abca^{b^{c}} means a(bc)a^{(b^{c})}, never (ab)c(a^{b})^{c}. Reading left to right here would give ((42)2)2=48=65536((4^{2})^{2})^{2}=4^{8}=65536, which is wrong by five orders of magnitude. So work from the top down.

  2. Collapse the top of the tower.

    22=4,then222=24=162^{2}=4,\qquad\text{then}\qquad 2^{2^{2}}=2^{4}=16

    The exponent of the base 44 is therefore 1616, and the expression becomes 41614^{16}-1.

  3. Rewrite the base as a power of 2 to keep the numbers manageable. Since 4=224=2^{2}, the power-of-a-power rule multiplies exponents:

    416=(22)16=232=42949672964^{16}=\left(2^{2}\right)^{16}=2^{32}=4\,294\,967\,296

    Recognising 2322^{32} is the shortcut — it is a familiar constant, so no long multiplication is needed.

  4. Subtract 1. The subtraction applies to the whole power, not to the exponent:

    4161=42949672961=42949672954^{16}-1=4\,294\,967\,296-1=4\,294\,967\,295

  5. Verify exactly. Python's arbitrary-precision integers give 4(2(22))1=42949672954^{(2^{(2^{2})})}-1=4294967295 ✓ and 232=42949672962^{32}=4294967296 ✓. As a structural check, 23212^{32}-1 is the largest unsigned 32-bit integer, and it factors as (2161)(216+1)=65535×65537(2^{16}-1)(2^{16}+1)=65535\times65537 — a difference of squares once more.

Answer

42221=42949672954^{2^{2^{2}}}-1=4294967295

Need to solve a different problem like this? Open the solver →