Erdős problem 359 · problems.science

Suppose monotone sequence $A$ satisfies the following: A 0 = 1 and for all j, A (j + 1) is the smallest natural number that cannot be written as a sum of consecutive terms of A 0, ..., A j. Then it is conjectured that $a_k ~ \frac{k \log k}{\log \log k}$ .

Sources

Browse retained paths and inspect the exact material available for this Problem.

4 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

359.lean

Retained formal statement1 of 4

Let $a_1< a_2 < ⋯$ be an infinite sequence of integers such that $a_1=1$ and $a_{i+1}$ is the least integer which is not a sum of consecutive earlier $a_j$ s. Show that $a_k / k \to \infty$ .

FormalConjectures/ErdosProblems/359.leanErdos359.erdos_359.parts.i1 lineExact file

1∀ (A : ℕ → ℕ), Erdos359.IsGoodFor A 1 → Filter.Tendsto (fun k => ↑(A k) / ↑k) Filter.atTop Filter.atTop

OpenStatement only, no proof

Sources

Search problems.science