Skip to content

Erdős problem 357

Let f(n)f(n) be the maximal kk such that there exist integers 1≤a1<…<ak≤n1 \le a_1 < \dotsc < a_k \le n such that all sums of the shape ∑u≤i≤vai\sum_{u \le i \le v} a_i are distinct. It is known that f(n)≥(2+o(1))nf(n) \geq (2+o(1))\sqrt{n}. Source: See comment by Desmond Weisenberg here: https://www.erdosproblems.com/forum/thread/357.

Sources

The source's own material, retained exactly.

17 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

357.lean

Retained formal statement9 of 17

Suppose AA is an infinite set such that all finite sums of consecutive terms of AA are distinct. Then AA has lower density 0.

FormalConjectures/ErdosProblems/357.leanErdos357.erdos_357.variants.infinite_set_lower_density1 lineExact file
∀ (A : ℕ → ℕ), StrictMono A → Erdos357.HasDistinctSums A → (Set.range A).lowerDensity = 0
SolvedStatement only, no proof