%I #17 May 05 2024 21:37:41

%S 2,6,10,21,41,80,162,324,646,1294,2586,5173,10345,20691,41381,82760,

%T 165522,331044,662089,1324177,2648353,5296707,10593413,21186827,

%U 42373652,84747305,169494609,338989216,677978435,1355956869,2711913736,5423827472,10847654948,21695309896,43390619791,86781239586,173562479173,347124958344

%N Number of terms of A086893 in the interval [A372444(n), A372444(1+n)].

%C The formula involving A372451 and A372453 shows that each term is at most +-1 from the corresponding term of A372451, that are the first differences of A372449.

%H Antti Karttunen, <a href="/A372452/b372452.txt">Table of n, a(n) for n = 0..1001</a>

%F a(n) = A372286(A372444(n)).

%F a(n) = A372451(n) + [A372453(n)<=0] - [A372453(1+n)<0], where [ ] is the Iverson bracket, yielding 1 or 0 depending on whether the given inequivalence holds or does not hold.

%e Between A372444(0)=27 and A372444(1)=165 there are two terms (53 and 85) of A086893, therefore a(0) = 2.

%e Between A372444(1)=165 and A372444(2)=8021 there are six terms (213, 341, 853, 1365, 3413, 5461) of A086893, therefore a(1) = 6.

%e Between A372444(2)=8021 and A372444(3)=12408149 there are 10 terms (13653, 21845, 54613, 87381, 218453, 349525, 873813, 1398101, 3495253, 5592405) of A086893, therefore a(2) = 10.

%o (PARI) A372452(n) = A372451(n)+(A372453(n)<=0)-(A372453(1+n)<0); \\ Uses also code from A372451 and A372453.

%Y Column 14 of A372285.

%Y Cf. A086893, A372286, A372444, A372449, A372451, A372453.

%K nonn,new

%O 0,1

%A _Antti Karttunen_, May 05 2024