OFFSET
1,4
LINKS
Antti Karttunen, Table of n, a(n) for n = 1..65537
Vaclav Kotesovec, Graph - the asymptotic ratio (100000 terms)
FORMULA
a(n) = numerator of f(n), where f(1) = 1, f(n) = (1/2) * (A173557(n) - Sum_{d|n, d>1, d<n} f(d) * f(n/d)) for n > 1.
From Vaclav Kotesovec, May 10 2025: (Start)
Let f(s) = Product_{p prime} (1 - 2/(p + p^s)).
Sum_{k=1..n} A318317(k) / A318318(k) ~ n^2 * sqrt(f(2)/(4*Pi*log(n))) * (1 + (1 - gamma - f'(2)/f(2) + 6*zeta'(2)/Pi^2) / (4*log(n))), where
f(2) = A307868 = Product_{p prime} (1 - 2/(p*(p+1))) = 0.471680613612997868...
f'(2)/f(2) = Sum_{p prime} 2*p*log(p) / ((p+1)*(p^2+p-2)) = 0.7254208328519472161058521308839896283514823... and gamma is the Euler-Mascheroni constant A001620. (End)
MATHEMATICA
f[1] = 1; f[n_] := f[n] = 1/2 (Module[{fac = FactorInteger[n]}, If[n == 1, 1, Product[fac[[i, 1]] - 1, {i, Length[fac]}]]] - Sum[f[d]*f[n/d], {d, Divisors[n][[2 ;; -2]]}]); Table[Numerator[f[n]], {n, 1, 100}] (* Vaclav Kotesovec, May 10 2025 *)
PROG
CROSSREFS
KEYWORD
sign,frac
AUTHOR
Antti Karttunen, Aug 24 2018
STATUS
approved
