OFFSET
1,1
COMMENTS
If 5*2^j-1 is prime (that is, j is in A001770) then m = 2^j*(5*2^j-1) is in the sequence. Proof: 6*phi(m)-sigma(m) = 6*2^(j-1)*(5*2^j-2) -(2^(j+1)-1)*5*2^j = 30*2^(2j-1)-6*2^j-5*2^(2j+1)+5*2^j = 5*2^(2j)-2^j = 2^j(5*2^j-1) = m.
The first seven terms of the sequence are of such form, with n=2, 4, 8, 10, 12, 14, 18. Are all terms of the sequence of this form?
a(8) is not of that form. - Jud McCranie, Jan 24 2026
a(8) > 10^12. - Giovanni Resta, Nov 03 2012
a(9) > 10^15. - Jud McCranie, Jan 24 2026
FORMULA
a(n) = 2^k*(5*2^k-1) = A084213(k+1) with k = A001770(n), for n = 1,...,7. - M. F. Hasler, Nov 03 2012
EXAMPLE
6*phi(76)-sigma(76)=6*36-140=76 so 76 is in the sequence.
MATHEMATICA
Do[If[n==6*EulerPhi[n]-DivisorSigma[1, n], Print[n]], {n, 85000000}]
CROSSREFS
KEYWORD
more,nonn
AUTHOR
Farideh Firoozbakht, Jan 05 2008, Feb 01 2008
EXTENSIONS
a(7) from Giovanni Resta, Nov 03 2012
a(8) from Jud McCranie, Jan 24 2026
STATUS
approved
