|
%I #13 Mar 04 2023 05:21:25
%S 0,1,1,1,1,3,1,2,1,5,1,3,1,7,6,2,1,2,1,5,8,11,1,5,1,13,2,7,1,14,1,3,
%T 12,17,10,2,1,19,14,9,1,20,1,11,5,23,1,5,1,2,18,13,1,4,14,13,20,29,1,
%U 14,1,31,7,3,16,32,1,17,24,34,1,3,1,37,3,19,16,38,1,9,2,41,1,20,20,43,30,21,1,9,18,23,32
%N Dirichlet convolution of Liouville's lambda (A008836) with A342001, where A342001(n) = A003415(n)/A003557(n).
%C It seems that all the terms after the initial zero are strictly positive. Checked up to n = 2^24. Compare to A346485.
%H Antti Karttunen, <a href="/A347395/b347395.txt">Table of n, a(n) for n = 1..16384</a>
%H Antti Karttunen, <a href="/A347395/a347395.txt">Data supplement: n, a(n) computed for n = 1..65537</a>
%F a(n) = Sum_{d|n} A008836(n/d) * A342001(d).
%F Sum_{k=1..n} a(k) ~ c * A065464 * Pi^4 * n^2 / 180, where c = Sum_{j>=2} (1/2 + (-1)^j * (Fibonacci(j) - 1/2))*PrimeZetaP(j) = 0.4526952873143153104685540856936425315834753528741817723313791528384... - _Vaclav Kotesovec_, Mar 04 2023
%o (PARI)
%o A003415(n) = if(n<=1, 0, my(f=factor(n)); n*sum(i=1, #f~, f[i, 2]/f[i, 1]));
%o A003557(n) = (n/factorback(factorint(n)[, 1]));
%o A342001(n) = (A003415(n) / A003557(n));
%o A008836(n) = ((-1)^bigomega(n));
%o A347395(n) = sumdiv(n,d,A008836(n/d)*A342001(d));
%Y Cf. A003415, A003557, A008836, A342001, A347396 [= a(A276086(n))].
%Y Cf. also A346485, A347235.
%K nonn,look
%O 1,6
%A _Antti Karttunen_, Sep 02 2021
|
