Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $(a_n)_{n\in\mathbb{N}}$ be a series in $\mathbb{C}$ or $\mathbb{R}$. Which contraints must $(a_n)$ match to make $b_n := a_1^{a_2^{...^{a_n}}}$ converge for $n\rightarrow\infty$?

For constant series with $e^{-e}<a_n<e^{1/e}$, the series $b_n$ converges; So I guess series converging toward a value within $(e^{-e},e^{1/e})$ make $b_n $ converge aswell (the first few $a_i$ in $a_1^{a_2^{a_3^{...}}}$ do not matter at some point?!)

Is this the constraint that is to be applied? That there exists an $N\in\mathbb{N}$ such that $\forall n>N: a_n\in(e^{-e},e^{1/e})$? Is there any literature about this? Potence towers are pretty interesting ;)

EDIT: The question has still not been solved. However, we were able to prove that my Idea was wrong (which was pretty easy): $$5^{1^{5^{1^...}}}$$ converges. (For any arbitrary number, 5 is just an example.) Further more, it has to be assumed that a maximum of 1 $a_n$ is equal to $0$ (for obvious reasons aswell)

When using logarithms to unify the Potwnce tower, using $$a^{b}=e^{\log{a}*b}$$ to reduce $a_1^{a_2^{a_3^{...}}}$ to $$e^{\log{a_1}*a_2^{a_3^{...}}}$$ and so on, it is required that the remaining term (strongly) converges to $0$ in order to keep the resulting term $e^{e^{e^{...}}}$ finite.

Doesnt anyone know about this? I will badger people at Uni with this question soon ^.^

share|cite|improve this question
What is $b_1$ and does your recursion really express what you want to know, since it doesn't fit the title of the question? – WimC Dec 6 '12 at 17:49
Oh right, forgot. Fixed. – CBenni Dec 6 '12 at 17:53
There is an article of D.F.Barrow (1936) "Infinite exponentials" in the "American Mathematical Monthly" Vol 43, No.3, Pg150-160, where he deals exactly with this question and uncovers some properties of such infinite nonconstant exponential-towers. Unfortunately it is not openly online, but via JStore one can access it. – Gottfried Helms Dec 7 '12 at 20:04
Here is a link to JStore: (Don't know whether you can arrive there without login) – Gottfried Helms Dec 7 '12 at 20:12
I fiddle with "tetration" for several years now. A lot of literature comes across that time... Even online-correspondents give sometimes hints :-) – Gottfried Helms Dec 7 '12 at 22:25

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.