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
Graham [Gr63] has proved this when .
Erdos283.Condition Polynomial.XSolvedStatement only, no proof