OFFSET
1,120
COMMENTS
It holds that a(n) <= A336836(n) for all n, because sigma(n) <= A003961(n) for all n (see A286385 for a proof).
The first 3 occurs at n = 19399380, the first 4 at n = 195534950863140268380. See A336389.
If x and y are relatively prime (i.e., gcd(x,y) = 1), then a(x*y) >= max(a(x),a(y)). Compare to a similar comment in A336915.
LINKS
FORMULA
EXAMPLE
For n = 120, sigma(120) = 360 >= 2*120, thus 120 is not deficient, and we get the next number by applying the prime shift, A003961(120) = 945, and sigma(945) = 1920 >= 945*2, so neither 945 is deficient, so we prime shift once again, and A003961(945) = 9625, which is deficient, as sigma(9625) = 14976 < 2*9625. Thus after two iteration steps we encounter a deficient number, and therefore a(120) = 2.
MATHEMATICA
Array[-1 + Length@ NestWhileList[If[# == 1, 1, Times @@ Map[#1^#2 & @@ # &, FactorInteger[#] /. {p_, e_} /; e > 0 :> {Prime[PrimePi@ p + 1], e}]] &, #, DivisorSigma[1, #] >= 2 # &] &, 120] (* Michael De Vlieger, Aug 27 2020 *)
PROG
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Aug 07 2020
STATUS
approved