Problem: Prove that .
Solution: Consider the value of the following infinitely iterated exponent:
Let , that is, the above power tower where we stop at the
-th term. Then
is clearly an increasing sequence, and moreover
by a trivial induction argument:
and if
then
.
So by basic results in analysis, the sequence of converges to a limit. Let’s call this limit
, and try to solve for it.
It is not hard to see that is defined by the equation:
simply because the infinite power tower starting at the second level is the same as the infinite power tower starting at the first level. However, we notice that and
both satisfy this relationship. Hence,
And hence , as desired.
Explanation: The issue here is relatively subtle, but one trained in real analysis should have no trouble spotting the problem.
The first alarm is that we are claiming that the limit of a sequence is not unique, which is always false. Inspecting this argument more closely, we corner the flaw to our claim that is defined by the equation
. It does, in fact, satisfy this equation, but there is a world of difference between satisfying an equation and being defined by satisfying an equation. One might say that this only makes sense when there is a unique solution to the equation. But as we just saw, there are multiple valid solutions here: 2 and 4 (I don’t immediately see any others; it’s clear no other powers of two will work).
Analogously, one might erroneously say that is defined by satisfying the equation
, but this does not imply
, since the equation has two differing complex roots. This is a slightly murky analogy, as complex conjugation gives an automorphism of
. One would reasonably argue that
and
“play the same role” in this field, while 2 and 4 play wildly different roles as real numbers. But nevertheless, they are not equal simply by virtue of satisfying the same equation.
Moreover, while we said the sequence was bounded from above by 4, an identical argument shows it’s bounded from above by 2. And so one can immediately conclude that the limit of the sequence cannot be 4.
In fact, this infinite tower power is continuous as a function, whose domain is the interval
and whose range is
. For more information about interesting number-theoretic properties of infinite power towers, see this paper.