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 statement10 of 17

Suppose AA is an infinite set such that all finite sums of consecutive terms of AA are distinct. Then it is conjectured that the sum ∑k1ak\sum_k \frac{1}{a_k} converges.

FormalConjectures/ErdosProblems/357.leanErdos357.erdos_357.variants.infinite_set_sum1 lineExact file
∀ (A : ℕ → ℕ), StrictMono A → Erdos357.HasDistinctSums A → Summable fun i => 1 / ↑(A i)
OpenStatement only, no proof