Skip to content

Erdős problem 649

Let P(m)P(m) denote the greatest prime factor of mm. Is it true that, for any two primes p,qp,q, there exists some integer nn such that P(n)=pP(n)=p and P(n+1)=qP(n+1)=q?

Sources

Browse retained paths and inspect the exact material available for this Problem.

6 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

649.lean

Retained formal statement3 of 6

Problem 6 in the 12th Romanian Master of Mathematics Competitions in 2020 was to prove that there exist infinitely many odd primes pp such that, for every nn, P(n)P(n+1)2pP(n)P(n+1)\neq 2p.

FormalConjectures/ErdosProblems/649.leanErdos649.erdos_649.variants.rmm_20201 lineExact file
{p | Nat.Prime pOdd p ∧ ∀ (n : ℕ), n.maxPrimeFac * (n + 1).maxPrimeFac ≠ 2 * p}.Infinite
TextbookStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page