Skip to content

Erdős problem 817

Let k3k \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={aAϵ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

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/817.lean

Formal Conjectures

FormalConjectures/ErdosProblems/817.leanErdos817.erdos_8171 lineExact file
True ↔ (fun n => 3 ^ n) =O[Filter.atTop] fun n => ↑(Erdos817.g 3 n)
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page