login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A375767
The indices of the terms of A375766 in the Fibonacci sequence.
3
0, 2, 2, 3, 2, 2, 2, 4, 3, 2, 2, 3, 2, 2, 2, 2, 3, 2, 3, 2, 2, 2, 4, 3, 2, 4, 3, 2, 2, 2, 5, 2, 2, 2, 3, 2, 2, 2, 4, 2, 2, 2, 3, 3, 2, 2, 3, 3, 2, 3, 2, 4, 2, 4, 2, 2, 2, 3, 2, 2, 3, 2, 2, 2, 3, 2, 2, 2, 4, 2, 2, 3, 3, 2, 2, 2, 2, 2, 3, 2, 2, 2, 4, 2, 3, 2, 3, 2, 2, 2, 5, 2, 3, 3, 3, 2, 2, 2, 4, 2, 2, 2, 4, 2, 2
OFFSET
1,2
COMMENTS
First differs from A375769 at n = 2448.
Since 1 appears twice in the Fibonacci sequence (1 = Fibonacci(1) = Fibonacci(2)), its index here is chosen to be 2.
LINKS
FORMULA
a(n) = A130233(A375766(n)).
Asymptotic mean: Limit_{m->oo} (1/m) * Sum_{k=1..m} a(k) = (2/zeta(2) + Sum_{k>=3} (k * (d(k) - d(k-1)))) / A375274 = 2.49917281727849805875..., where d(k) = Product_{p prime} ((1-1/p)*(1 + Sum_{i=2..k} 1/p^Fibonacci(i))) for k >= 3, and d(2) = 1/zeta(2).
If the chosen index for 1 is 1 instead of 2, then the asymptotic mean is (1/zeta(2) + Sum_{k>=3} (k * (d(k) - d(k-1)))) / A375274 = 1.85541131398927903176... .
MATHEMATICA
fibQ[n_] := Or @@ IntegerQ /@ Sqrt[5*n^2 + {-4, 4}]; A130233[n_] := Module[{k = 2}, While[Fibonacci[k] <= n, k++]; k-1]; s[n_] := Module[{e = FactorInteger[n][[;; , 2]]}, If[AllTrue[e, fibQ], A130233[Max[e]], Nothing]]; s[1] = 0; Array[s, 100]
PROG
(PARI) isfib(n) = issquare(5*n^2 - 4) || issquare(5*n^2 + 4);
A130233(n) = {my(k = 2); while(fibonacci(k) <= n, k++); k-1; }
lista(kmax) = {my(e, ans); print1(0, ", "); for(k = 2, kmax, e = factor(k)[, 2]; ans = 1; for(i = 1, #e, if(!isfib(e[i]), ans = 0; break)); if(ans, print1(A130233(vecmax(e)), ", "))); }
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Amiram Eldar, Aug 27 2024
STATUS
approved