OFFSET
1,1
COMMENTS
a(9) > 10^10, if it exists. - Amiram Eldar, Apr 14 2026
From David A. Corneth, Apr 17 2026: (Start)
a(9)..a(12) <= 52505097576299, 417009509941855, 844463585427459, 1334476246021774. They are closely related to the first 4 terms that are of the form p^3*q. The current upper bounds on a(12) are of the form p*q^3 where p and q come from the first few terms.
If k = m*p, where k is a term, p is a prime and gcd(m, p) = 1, then p = (psi(m) - sigma(m) + 2*tau(m) + (Omega(m) + 1)^9)/(sigma(m) - psi(m)). This way, when testing m = 336973, we obtain p = 1181, which produces k = a(8) = 336973 * 1181. If no term is from A001694, then this method can be used to find all terms <= some bound. (End)
EXAMPLE
699064 is a term since sigma(699064) = 1310760 = 1048608 + 8 + 4^9 = psi(699064) + tau(699064) + Omega(699064)^9.
PROG
(PARI) isok(k) = {my(f = factor(k)); sigma(f) == prod(i=1, #f~, (f[i, 1]+1) * f[i, 1]^(f[i, 2]-1)) + numdiv(f) + bigomega(f)^9; } \\ Amiram Eldar, Apr 13 2026
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
S. I. Dimitrov, Apr 13 2026
STATUS
approved
