Erdős problem 649
Let denote the greatest prime factor of . Is it true that, for any two primes , there exists some integer such that and ?
Sources
FormalConjectures/ErdosProblems/
649.lean
Retained formal statement
Sampaio independently observed that the answer to Erdős' original problem is no if one of the primes can be - for example this is false with and , since if and then (since is a primitive root modulo ) we must have , and hence .
¬∃ n, n.maxPrimeFac = 19 ∧ (n + 1).maxPrimeFac = 2TextbookStatement only, no proof