Skip to content

Erdős problem 817

Let k≥3k \geq 3. Define gk(n)g_k(n) to be the minimal NN such that {1,...,N}\{1, ..., N\} contains some AA of size ∣A∣=n|A| = n such that ⟨A⟩={∑a∈Aϵaa:ϵa∈{0,1}} \langle A\rangle = \left\{\sum_{a \in A} \epsilon_a a : \epsilon_a \in\{0, 1\}\right\} contains no non-trivial kk-term arithmetic progression. Estimate gk(n)g_k(n). In particular, is it true that g3(n)≫3n g_3(n) \gg 3^n

Sources

The source's own material, retained exactly.

2 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

817.lean

Retained formal statement2 of 2

A problem of Erdős and Sárközy who proved g3(n)≫3nnO(1). g_3(n) \gg \frac{3^n}{n^{O(1)}}.

FormalConjectures/ErdosProblems/817.leanErdos817.erdos_817.variants.bdd_power1 lineExact file
∃ O > 0, (fun n => 3 ^ n / ↑n ^ O) =O[Filter.atTop] fun n => ↑(Erdos817.g 3 n)
SolvedStatement only, no proof