Positive Rational Number as Power of Number with Power of Itself

Theorem
Every positive rational number can be written either as:
 * $a^{a^a}$ for some irrational number $a$

or as:
 * $n^{n^n}$ for some natural number $n$.

Proof
For $\ln x \le 0$ and $\ln x \ge -1$, the above is positive.

For $-1 < \ln x < 0$, we have $e^{-1} < x < 1$.

so we have $\dfrac \d {\d x} x^{x^x} > 0$ for every $x > 0$.

We also have:
 * $\ds \lim_{x \mathop \to 0^+} x^{x^x} = \lim_{x \mathop \to 0^+} x^{\lim_{x \mathop \to 0^+} x^x} = 0^1 = 0$

Thus $x^{x^x}: \R_{>0} \to \R_{>0}$ is bijective.

For each $y > 0$, we can find some $x > 0$ such that $y = x^{x^x}$.

The result above is therefore equivalent to:


 * $a^{a^a}$ is irrational if $a$ is rational and not a natural number.

By Rational Number as Power of Number with Itself, as long as $a$ is not a natural number, $a^a$ is irrational.

Therefore if $a$ is not a natural number, by Gelfond-Schneider Theorem, $a^{a^a}$ is transcendental, so it is also irrational.

This proves the result.

Also see

 * Rational Number as Power of Number with Itself