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

The source's own material, retained exactly.

6 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

649.lean

Retained formal statement4 of 6

Sampaio independently observed that the answer to Erdős' original problem is no if one of the primes can be 22 - for example this is false with p=19p=19 and q=2q=2, since if n+1=2kn+1=2^k and 19∣n19\mid n then (since 22 is a primitive root modulo 1919) we must have 18∣k18\mid k, and hence 73∣218−1∣n73\mid 2^{18}-1\mid n.

FormalConjectures/ErdosProblems/649.leanErdos649.erdos_649.variants.sampaio1 lineExact file
¬∃ n, n.maxPrimeFac = 19 ∧ (n + 1).maxPrimeFac = 2
TextbookStatement only, no proof