Erdős problem 283
Let be a polynomial whose leading coefficient is positive and such that there exists no with for all . Is it true that, for all sufficiently large , there exist integers such that and ?
Sources
FormalConjectures/ErdosProblems/
283.lean
Retained formal statement
van Doorn [vD25] has proved the original conjecture for many linear and quadratic polynomials. For example, if with , then the conjecture is true.
∀ (b : ℤ), 1 ≤ b → b ≤ 800 → Erdos283.Condition (Polynomial.X ^ 2 + Polynomial.C b)SolvedStatement only, no proof