Source labels openErdős Problems · Sequences and series
Erdős Problem 243
Let be a sequence of integers such that and .
Then, for all sufficiently large , .
Source checked Jul 26, 20261 pinned Lean statementInspect problem
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.Let be a sequence of integers such that and .
Then, for all sufficiently large , .
The Flint Hills series summing from to converges. (Note that we 0-index the series below.)
The Cookson Hills series summing from to converges.