OFFSET
1,2
COMMENTS
Numbers k such that A037445(k) is an infinitary divisor of k.
This sequence is infinite. For example, if p is an odd prime, then 8*p is a term.
LINKS
Amiram Eldar, Table of n, a(n) for n = 1..10000
MATHEMATICA
infDivQ[n_, 1] = True; infDivQ[n_, d_] := BitAnd[IntegerExponent[n, First /@ (fct = FactorInteger[d])], (e = Last /@ fct)] == e;
f[p_, e_] := 2^DigitCount[e, 2, 1]; id[1] = 1; id[n_] := Times @@ f @@@ FactorInteger[n]; q[k_] := Module[{d = id[k]}, Divisible[k, d] && infDivQ[k, d]]; Select[Range[500], q]
PROG
(PARI) isidiv(d, f) = {if (d==1, return (1)); for (k=1, #f~, bne = binary(f[k, 2]); bde = binary(valuation(d, f[k, 1])); if (#bde < #bne, bde = concat(vector(#bne-#bde), bde)); for (j=1, #bne, if (! bne[j] && bde[j], return (0)); ); ); return (1); } \\ Michel Marcus at A077609
isok(k) = {my(f = factor(k), id = vecprod(apply(x -> 2^hammingweight(x), f[, 2]))); !(k % id) && isidiv(id, f); }
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Amiram Eldar, Aug 15 2025
STATUS
approved
