Skip to content

Erdős problem 357

Let f(n)f(n) be the maximal kk such that there exist integers 1a1<<akn1 \le a_1 < \dotsc < a_k \le n such that all sums of the shape uivai\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

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

17 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

357.lean

Retained formal statement8 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 AA has density 0.

FormalConjectures/ErdosProblems/357.leanErdos357.erdos_357.variants.infinite_set_density1 lineExact file
∀ (A : ℕ → ℕ), StrictMono AErdos357.HasDistinctSums A → (Set.range A).HasDensity 0
OpenStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page