OFFSET
1,2
LINKS
Amiram Eldar, Table of n, a(n) for n = 1..10000
FORMULA
Multiplicative with a(p^e) = (p-1) * p^2 for e < 3, and a(p^e) = (p-1) * p^(e-1) for e >= 3.
Dirichlet g.f.: zeta(s-1) * Product_{p prime} (1 + 1/p^(s-3) - 1/p^(s-2) - 1/p^(s-1) - 1/p^(2*s-4) + 2/p^(2*s-3) - 1/p^(2*s-2) - 1/p^(3*s-4) + 2/p^(3*s-3) - 1/p^(3*s-2)).
Sum_{k=1..n} a(k) ~ c * n^4 / 4, where c = zeta(3) * Product_{p prime} (1 - 2/p^2 + 3/p^5 - 3/p^6 + 1/p^7 - 1/p^8 + 3/p^9 - 3/p^10 + 1/p^11) = 0.43509138055168226516... .
Sum_{n>=1} 1/a(n) = zeta(2)^2 * Product_{p prime} (1 - 2/ p^2 + 3/p^3 + 5/p^4 - 1/p^5 - 2/p^6) = 2.50811475105884725608... .
MATHEMATICA
f[p_, e_] := (p-1) * p^If[e < 3, 2, e-1]; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100]
PROG
(PARI) a(n) = {my(f = factor(n)); prod(i = 1, #f~, (f[i, 1] - 1) * f[i, 1]^if(f[i, 2] < 3, 2, f[i, 2] - 1)); }
CROSSREFS
KEYWORD
nonn,mult,easy
AUTHOR
Amiram Eldar, Nov 17 2025
STATUS
approved
