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

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.

FormalConjectures/ErdosProblems/357.leanErdos357.erdos_357.variants.weisenberg1 lineExact file
o, o =o[Filter.atTop] 1 ∧ ∀ᶠ (n : ℕ) in Filter.atTop, (2 + o n) * √↑n ≤ ↑(Erdos357.f n)
SolvedStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page