OFFSET
1,2
COMMENTS
Equivalently, a(n) is the number of divisors of n that are in A046100.
a(n) is also the number of divisors d such that the greatest common square divisor of d and n/d is 1.
The number of divisors d of n such that gcd(d, n/d) is squarefree. - Amiram Eldar, Aug 25 2023
REFERENCES
Paul J. McCarthy, Introduction to Arithmetical Functions, Springer Verlag, 1986, page 37, Exercise 1.27.
LINKS
Antti Karttunen, Table of n, a(n) for n = 1..10000
Eric Weisstein's World of Mathematics, Biquadratefree.
FORMULA
Dirichlet g.f.: zeta(s)^2/zeta(4*s).
Sum_{k=1..n} a(k) ~ 90*n/Pi^4 * (log(n) - 1 + 2*gamma - 360*zeta'(4)/Pi^4), where gamma is the Euler-Mascheroni constant A001620. - Vaclav Kotesovec, Feb 02 2019
a(n) = Sum_{d|n} mu(gcd(d, n/d))^2. - Ilya Gutkovskiy, Feb 21 2020
Multiplicative with a(p^e) = min(e, 3) + 1. - Amiram Eldar, Sep 19 2020
EXAMPLE
a(16) = 4 because there are 4 divisors of 16 that are 4th power free: 1,2,4,8.
a(16) = 4 because there are 4 divisors d of 16 such that the greatest common square divisor of d and 16/d is 1: 1,2,8,16.
MATHEMATICA
Prepend[Table[Apply[Times, (FactorInteger[n][[All, 2]] /. x_ /; x > 3 -> 3) + 1], {n, 2, 100}], 1]
PROG
(PARI) isA046100(n) = (n==1) || vecmax(factor(n)[, 2])<4;
a(n) = {d = divisors(n); sum(i=1, #d, isA046100(d[i])); } \\ Michel Marcus, Mar 22 2015
(PARI) a(n) = vecprod(apply(x->min(x, 3) + 1, factor(n)[, 2])); \\ Amiram Eldar, Aug 25 2023
CROSSREFS
KEYWORD
nonn,easy,mult
AUTHOR
Geoffrey Critzer, Mar 21 2015
STATUS
approved