OFFSET
1,3
LINKS
Eric Weisstein's World of Mathematics, Dedekind Function
FORMULA
G.f.: (Sum_{k>=1} mu(k)^2*x^k/(1 - x^k)^2)^2.
Conjecture: Sum_{k=1..n} a(k) ~ 75 * n^4 / (8 * Pi^4). - Vaclav Kotesovec, Aug 20 2025
MATHEMATICA
Rest[nmax = 46; CoefficientList[Series[Sum[MoebiusMu[k]^2 x^k/(1 - x^k)^2, {k, 1, nmax}]^2, {x, 0, nmax}], x]]
psi[n_] := psi[n] = Sum[MoebiusMu[n/d]^2 d, {d, Divisors @ n}]; a[n_] := a[n] = Sum[psi[k] psi[n - k], {k, 1, n - 1}]; Table[a[n], {n, 1, 46}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Ilya Gutkovskiy, Apr 11 2019
STATUS
approved