OFFSET
1,1
COMMENTS
The number of distinct prime divisors, omega(m*(m+1)) is exactly two less than the index of the greatest prime divisor, pi(gpf(m*(m+1))): A252489(m) - A059957(m) = 2.
Although 1109496723125 may be the last term in this sequence, if not, subsequent terms are greater than 2*10^14 by computational verification.
LINKS
Ken Clements, Table of n, a(n) for n = 1..90
EXAMPLE
a(1) = 7 because 7*8 = 56 with gpf 7 and pi(7) = 4 while omega(56) = 2 because it has only 2 and 7 for prime divisors, missing prime divisors 3 and 5.
a(2) = 10 because 10*11 = 110 with gpf 11 and pi(11) = 5 while omega(110) = 3 because it has only 2, 5 and 11 for prime divisors, missing prime divisors 3 and 7.
a(3) = 11 because 11*12 = 132 with gpf 11 and pi(11) = 5 while omega(132) = 3 because it has only 2, 3, and 11 for prime divisors, missing prime divisors 5 and 7.
MATHEMATICA
q[m_] := Module[{p = Union[Flatten[FactorInteger[#][[;; , 1]] & /@ {m, m + 1}]]}, PrimePi[p[[-1]]] == Length[p] + 2]; Select[Range[22000], q] (* Amiram Eldar, Dec 25 2025 *)
PROG
(Python)
from sympy import primepi, primefactors
def ok(m):
pf = primefactors(m*(m+1))
omega, pidx = len(pf), primepi(pf[-1])
return pidx - omega == 2
print([m for m in range(2, 10**6) if ok(m)])
(PARI) isok(m) = my(f=factor(m*(m+1))); omega(f) == primepi(vecmax(f)) - 2; \\ Michel Marcus, Dec 26 2025
CROSSREFS
KEYWORD
nonn
AUTHOR
Ken Clements, Dec 24 2025
STATUS
approved
