login
Number of iterations log_3(log_3(log_3(...(n)...))) such that the result is < 2.
6

%I #10 May 16 2023 10:31:49

%S 0,1,1,1,1,1,1,1,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,

%T 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,

%U 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2

%N Number of iterations log_3(log_3(log_3(...(n)...))) such that the result is < 2.

%F With the exponentiation definition E_{i=1..n} c(i) := c(1)^(c(2)^(c(3)^(...(c(n-1)^(c(n))))...))); E_{i=1..0} := 1; example: E_{i=1..4} 3 = 3^(3^(3^3)) = 3^(3^27), we get:

%F a(E_{i=1..n} 3) = a(E_{i=1..n-1} 3)+1, for n>=1.

%F G.f.: g(x)= 1/(1-x)*sum_{k=1..infinity} x^(E_{i=1..k} b(i,k)), where b(i,k)=3 for i<k and b(i,k)=2 for i=k. The explicit first terms of the g.f. are

%F g(x)=(x^2+x^9+x^19683+…)/(1-x).

%e a(n)=0, 1, 2, 3, 4, for n=1, 2, 3^2, 3^3^2, 3^3^3^2 =1, 2, 9, 19683, 3^19683

%Y Cf. A001069, A010096, A211661, A211664, A211666, A211668, A211669.

%K nonn

%O 1,9

%A _Hieronymus Fischer_, Apr 30 2012