(The presentation that follows is a very light introduction. For more austere results, consult Manuscript 1).

In this article, let's try to investigate the tetration series:

∑_{n=1}^{∞}1/^{n}x = 1/^{1}x + 1/ ^{2}x
+ 1/ ^{3}x + ..., for real x. (1)

The hyperexponentials on the denominators grow very fast, so we
expect it to converge for some values of x. Our basic tools are the two articles on convergence of
hyperexponentials, Infinite Exponentials
and A Deeper Analysis of Infinite Exponentials. Knowing that lim_{n->+∞}^{n}x exists from the first article for x in [(1/e)^{e},e^{(1/e)}], we expect immediately the series to have problems there. Let us see
what
happens.

__Lemma #1:__

The hyperexponential series diverges for x in [(1/e)^{e},e^{(1/e)}].

__Proof:__

For x in the indicated interval, the n-th term of the series is 1/^{n}x, and the limit of this is (see article 1) lim_{n->+∞}1/^{n}x = 1/lim_{n->+∞}^{n}x
= 1/e^{-W(-log(x))}= e^{W(-log(x))}, which does not
approach 0, therefore the series violates the Cauchy criterion. Accordingly, it
diverges there.

__Lemma #2:__

The hyperexponential series converges for x > e^{1/e}.

__Proof:__

In this case, we apply the Ratio Test. First note that x > e^{1/e} => Log(x) = A > 1/e
> 0. (1)

lim_{n->+∞}[a_{n+1}/a_{n}] = lim_{n->+∞}[^{n}x/^{n+1}x]
= lim_{n->+∞}[^{n}x/x^{(nx)}] =
lim_{t->+∞}t/x^{t}
= lim_{t->+∞}t/e^{Log(x)*t} = lim_{t->+∞}t/e^{A*t}
= 0 < 1, (A > 0, by (1)), since the terms ^{n}x = t are
unbounded, so the series converges there.

__Lemma #3__

The hyperexponential series diverges for 0 < x < (1/e)^{e}.

__Proof:__

For x on the indicated interval, the infinitely iterated exponential
lim_{n->+∞}^{n}x is a two-cycle. (See article
1). But the partial sums of the series (1) are bounded below by the
series with even terms, i.e. ∑_{n=1}^{[t/2]}1/^{2n}x < ∑_{n=1}^{t}1/^{n}x, and the first series diverges, because it again violates the Cauchy
criterion, since lim_{n->+∞}^{2n}x = a, with a a solution to: x^{xa}=a
(see Solving the Second Real
Auxiliary Equation), therefore lim_{n->+∞}1/^{2n}x = 1/a =/= 0, and the Lemma is
proved.

__Observations:__

Setting up exact Maple code to evaluate this series when x is in (e^{1/e},
+∞) is almost impossible, since if x is away from e^{1/e}, the
denominators grow so large that Maple is unable to handle the
quotients.
However we can set up code that approximates the series pretty well.
First, we can modify the function f_N to handle quotients a bit better. Refer to the code for f_N on this article on hyperroots.

> f_NR:=proc(z,w,n)

> option remember;

> if n=1 then 1/z^w;

> else 1/z^(1/f_NR(z,w,n-1));

> fi;

> end:

And the series:

> f:=x->sum('f_NR(x,1,n)',n=1..5);

We can vary the final bound of the n above, depending on how large our values of x are. With n=5, we can perhaps calculate:

> evalf(f(2));

.8125152588

But anything larger will fail. Try:

> evalf(f(2.1));

(integer too large)

If however we lower the bound for n still more, down to 3, we can see some of the values up to 2.8.

> evalf(f_NR(2,1,4));

.00001525878906

While for x > 3 the terms of the series approach 0 very fast. In fact:

> evalf(f_NR(3,1,3));

.1311372652 10^{-12}

We can therefore approximate the series pretty well using the following code:

> f:=proc(x)

> if x >= 2 then

> sum('f_NR(x,1,n)',n=1..3);

> elif(1.5<x) and (x<2) then

> sum('f_NR(x,1,n)',n=1..5);

> elif (evalf(exp(exp(-1)))<x) and (x<1.5) then

> sum('f_NR(x,1,n)',n=1..10);

> else print(`series diverges`);

> fi;

> end:

> with (plots):

> plot('f(x)',x=evalf(exp(exp(-1)))..5);