

A344428


Decimal expansion of exp(2/5).


2



6, 7, 0, 3, 2, 0, 0, 4, 6, 0, 3, 5, 6, 3, 9, 3, 0, 0, 7, 4, 4, 4, 3, 2, 9, 2, 5, 1, 4, 7, 8, 2, 6, 0, 7, 1, 9, 3, 6, 9, 8, 0, 9, 2, 5, 2, 1, 0, 8, 1, 2, 1, 9, 9, 8, 8, 8, 9, 1, 0, 3, 3, 1, 6, 2, 5, 8, 9, 4, 1, 7, 5, 1, 2, 0, 3, 5, 3, 7, 4, 3, 8, 2, 6, 3, 3, 7, 5, 4, 3, 9
(list;
constant;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

0,1


COMMENTS

Let f(s) = zeta(zeta(s+1))  1, where zeta(s) is the Riemann zeta function. Then f(s) is a strictly increasing function from (0, +oo) to (0, +oo), lim_{s>0+} f(s) = 0, lim_{s>+oo} f(s) = +oo.
Conjecture:
(i) f(s) has a unique fixed point s = A069995  1 in (0, +oo);
(ii) Lim_{s>+oo} f(s)/2^s = 1, lim_{s>0+} f(s)/2^(1/s) = exp(2/5) = A344428.
If these are true, let s_0 be any real number > alpha, s_n = zeta(s_{n1}) for n >= 1, where alpha = A069995 is the fixed point of zeta(s) in (1, +oo), then {s_{2n}} diverges quickly to +oo, {s_{2n+1}} converges quickly to 1.
This is because the derivative of zeta(zeta(s))  s at s = alpha is (zeta'(alpha))^2  1 = A344427^2  1 > 0, so (i) implies that zeta(zeta(s)) > s for s > alpha and zeta(zeta(s)) < s for 1 < s < alpha, hence ... > s_{2n} > s_{2n2} > ... > s_2 > s_0 > alpha > s_1 > s_3 > ... > s_{2n+1} > ..., and it follows from (i) that lim_{n>+oo} s_{2n} = +oo, lim_{n>+oo} s_{2n+1} = 1. By definition s_n  1 = f(s_{n2}  1), n >= 2. For large n, s_{2n}  1 is approximately equal to 2^(s_{2(n1)}  1), and 1/(s_{2n+1}  1) is approximately equal to exp(2/5) * 2^(1/(s_{2(n1)+1}  1)).


LINKS



EXAMPLE

exp(2/5) = 0.67032004603563930074... In comparison, (zeta(zeta(0.001+1))  1) / 2^(1/0.001) = 0.67022226725425164463...


MATHEMATICA

RealDigits[Exp[2/5], 10, 100][[1]] (* Amiram Eldar, May 19 2021 *)


PROG

(PARI) default(realprecision, 100); exp(2/5)


CROSSREFS



KEYWORD



AUTHOR



STATUS

approved



