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
Alekseyev [Al19] has proved this when , for all .
∀ m > 8542, ∃ S, (∀ n ∈ S, 1 ≤ n) ∧ ∑ n ∈ S, 1 / ↑n = 1 ∧ ∑ n ∈ S, ↑n ^ 2 = ↑mSolvedStatement only, no proof