Skip to content

Erdős problem 359

Suppose monotone sequence AA 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 ak klogkloglogka_k ~ \frac{k \log k}{\log \log k}.

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/359.lean

Formal Conjectures

FormalConjectures/ErdosProblems/359.leanErdos359.erdos_359.parts.i1 lineExact file
∀ (A : ℕ → ℕ), Erdos359.IsGoodFor A 1 → Filter.Tendsto (fun k => ↑(A k) / ↑k) Filter.atTop Filter.atTop
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page