OFFSET
1,1
COMMENTS
The powerful terms in A391085.
There are no terms that are powerful exponentially squarefree numbers (A384418) because there are no exponentially squarefree numbers (A209061) in A391085.
Any term of A391085 is of the form k*m where k is a term of this sequence and m is a squarefree number coprime to k. Therefore, A391085 can be generated from this sequence by multiplying terms with coprime squarefree numbers, and the asymptotic density of A391085 can be evaluated from the terms of this sequence (see the Comments section of A391085).
The least odd term is a(3629) = 38101088025 = (3 * 5 * 7 * 11 * 13^2)^2.
LINKS
Amiram Eldar, Table of n, a(n) for n = 1..10000
MATHEMATICA
f1[p_, e_] := DivisorSum[e, p^# &];
f2[p_, e_] := DivisorSum[e, p^# &, GCD[#, e/#] == 1 &];
q[k_] := Module[{f = FactorInteger[k]}, Times @@ f1 @@@ f > 2*k && Times @@ f2 @@@ f <= 2*k];
seq[lim_] := Select[Union[Flatten[Table[i^2 * j^3, {j, 1, Surd[lim, 3]}, {i, 1, Sqrt[lim/j^3]}]]], q]; seq[4*10^6]
PROG
(PARI) fun1(p, e) = sumdiv(e, d, p^d);
fun2(p, e) = sumdiv(e, d, if(gcd(d, e/d) == 1, p^d));
is1(k) = {my(f = factor(k)); prod(i = 1, #f~, fun1(f[i, 1], f[i, 2])) > 2*k && prod(i = 1, #f~, fun2(f[i, 1], f[i, 2])) <= 2*k; }
list(lim) = {my(s = List(), m); for(j = 1, sqrtnint(lim, 3), for(i = 1, sqrtint(lim\j^3), m = i^2*j^3; if(is1(m), listput(s, m)))); Set(s); }
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Amiram Eldar, Nov 28 2025
STATUS
approved
