OFFSET
1,2
COMMENTS
For the given c there exists a unique b(1) for which the sequence b(n) does not converge to 1 and at the same time always satisfies b(n-1)b(n+1)/b(n)^2 < 1.
If b(1) were chosen smaller the sequence b(n) would approach 1, if it were chosen greater it would at some point violate b(n-1)b(n+1)/b(n)^2 < 1 and from there on quickly escalate.
The value of b(1) is found through trial and error. Illustrative example for the case of c=2 (for c=4 similar): "Suppose one starts with b(1) = 2, the sequence b(n) would continue b(2) = 4, b(3) = 4, b(4) = 2.51..., b(5) = 1.54... and from there one can see that such a sequence is tending to 1. One continues by trying a larger value, say b(1) = 3, which gives rise to b(2) = 8, b(3) = 16, b(4) = 40.31... and from there one can see that such a sequence is escalating too fast. Therefore, one now knows that the true value of b(1) is between 2 and 3."
LINKS
Rok Cestnik, Table of n, a(n) for n = 1..1000
Rok Cestnik, Plot of the dependence of b(1) on c
FORMULA
log4(2*log4(3*log4(4*log4(...)))). - Andrey Zabolotskiy, Nov 30 2016
EXAMPLE
0.49704500007589450773783761552966893614239324798593...
MATHEMATICA
c = 4;
n = 100;
acc = Round[n*1.2];
th = 1000000;
b1 = 0;
For[p = 0, p < acc, ++p,
For[d = 0, d < 9, ++d,
b1 = b1 + 1/10^p;
bn = b1;
For[i = 1, i < Round[n*1.2], ++i,
bn = N[c^(bn/i), acc];
If[bn > th, Break[]];
];
If[bn > th, {
b1 = b1 - 1/10^p;
Break[];
}];
];
];
N[b1, n]
RealDigits[ Fold[ Log[4, #1*#2] &, 1, Reverse@ Range[2, 160]], 10, 111][[1]] (* Robert G. Wilson v, Dec 02 2016 *)
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Rok Cestnik, Nov 28 2016
STATUS
approved