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
Problem 6 in the 12th Romanian Master of Mathematics Competitions in 2020 was to prove that there exist infinitely many odd primes such that, for every , .
{p | Nat.Prime p ∧ Odd p ∧ ∀ (n : ℕ), n.maxPrimeFac * (n + 1).maxPrimeFac ≠ 2 * p}.InfiniteTextbookStatement only, no proof