# How to show $e^{e^{e^{79}}}$ is not an integer

In this question, I needed to assume in my answer that $e^{e^{e^{79}}}$ is not an integer. Is there some standard result in number theory that applies to situations like this?

After several years, it appears this is an open problem. As a non-number theorist, I had assumed there would be known results that would answer the question. I was aware of the difficulty in proving various constants to be transcendental -- such as $e + \pi$, which is not known to be transcendental at present.

However, I was looking at a question that seems simpler, naively: whether a number is an integer, rather than whether it is transcendental. It seems that what appeared to be possibly simpler is actually not, with current techniques.

The main motivation for asking about this particular number is that it is very large. It is certainly possible to find a pair of very large numbers, at least one of which is transcendental. But the current lack of knowledge about this particular number is even an integer shows just how much progress remains to be made, in my opinion. Any answers that describe techniques that would suffice to solve the problem (perhaps with other, unproven assumptions) would be very welcome.

-
This is likely to be open, I think. – Qiaochu Yuan Dec 5 '10 at 8:21
If we don't even know if $\exp(e)$ is algebraic or not... – J. M. Dec 5 '10 at 9:41
@Qiaochu Yuan and J.M.: I wasn't aware of that. I knew (vaguely) that there are a lot of open problems in transcendence theory, but I was hoping that just the problem of being an integer was easier. – Carl Mummert Dec 5 '10 at 12:56
It's not particularly feasible; the number of decimal digits is approximately $\log_{10}$ of the number, which is much larger than $10^{80}$, which is supposed to be an estimate for the number of atoms in the observable universe. – Carl Mummert Dec 6 '10 at 23:03
@Carl This is a really nice question. I don't think it needs to be "closed". There are some really innocuous questions running around the site just because the person who asked them never accepted an answer. But I believe that this is a question that deserves to show up from time to time. Who knows, maybe at some point someone will have something important to say about it, if not to answer it for good =) – Adrián Barquero Mar 20 '11 at 16:29

The paper Chuangxun Cheng, Brian Dietel, Mathilde Herblot, Jingjing Huang, Holly Krieger, Diego Marques, Jonathan Mason, Martin Mereb, and S. Robert Wilson, Some consequences of Schanuel’s conjecture, Journal of Number Theory 129 (2009) 1464–1467, shows that $e,e^e,e^{e^e},\dots$ is an algebraically independent set, on the assumption of Schanuel's Conjecture. Maybe a close reading of that paper will suggest a way of applying the result to the 79-question.

-
Maybe writing to the authors and telling them about this question directly could prove useful. – Adrián Barquero Jun 16 '11 at 4:38
Unfortunately Schanuel's Conjecture (that if $n$ complex numbers are linearly independent over the rationals, there are at most $n$ algebraic dependencies between those $n$ numbers and their exponentials) is completely intractable. – HTFB Jun 3 '13 at 9:20

The mathematical symbol $e$ is irrational, so raising it to the power of about any other number (except for $0$, of course) would cause it to be totally irrational, plus in a power-of-$10$ representation, it would look like this: $$\Huge{10^{{10^{10}}^{33.94704838165742}}}$$which would probably represent it as an irrational number.

-
Before you freak out, I made the exponent part huge by using latex with the word "huge" with a backslash to the left (don't forget the starting and ending dollar signs). – ReliableMathBoy Feb 8 '15 at 18:49
Before freaking out even more, @MathNoob made it bigger by putting the same word in, except the H has been capitalized there. – ReliableMathBoy Feb 8 '15 at 18:53
Consider the graph of the function $e^x$. It intersects the line $y = c$ for every positive integer $c$. – hunter Feb 8 '15 at 18:55
I'm not freaking out about the typesetting; the problem is that, weasel words aside, this answer is just wrong. As Hunter implies in his comment, there are plenty of real numbers $r$ with $e^r$ rational or even integral, and aside from probabilistic arguments we have no reason whatsoever to believe that $e^{e^{79}}$ isn't one of them. – Steven Stadnicki Feb 8 '15 at 19:14
$\ln 4$ is irrational. $e$ is irrational. So $e^{\ln 4} = 4$ is an irrational to an irrational. How are you supposed to know about e to the power of x? Well as $y = \ln x$ exist for all positive x. Then $e^y = x$ exist for all positive x. That's how. It's not deep. – fleablood Dec 29 '15 at 0:02

if $e^{e^{e^{79}}}$ is an integer then $e^{e^{e^{e^{79}}}}$ is not an integer (otherwise $e$ would be algebraic). Perhaps your arguments make sense with this number too.

-
This is a good point. Unfortunately, for my example I need to know for sure whether it's an integer or not; knowing that at least one of two numbers is not an integer is not as useful. – Carl Mummert Jun 16 '11 at 0:14