OFFSET
1,1
COMMENTS
For m = 9, gcd(m^10 - 1, m! - 1) = 121 = 11^2, and this shows that there exist integers m > 1 and k > 1 such that gcd(m^k - 1, m! - 1) is not squarefree.
No additional terms are known for m <= 100000 (it is not known whether the sequence is finite).
No additional terms for m <= 5*10^6. - Michael S. Branicky, May 01 2026
EXAMPLE
15 and 29 are terms since gcd(15^10 - 1, 15! - 1) = gcd(29^10 - 1, 29! - 1) = 31.
PROG
(PARI) isok(m) = gcd(m^10 - 1, m! - 1) > 1; \\ Michel Marcus, Apr 20 2026
(Python)
import math
def isok(m): return math.gcd(m**10-1, math.factorial(m)-1) > 1 # Jwalin Bhatt, Apr 28 2026
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Marco Ripà, Apr 18 2026
STATUS
approved
