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

Sources

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

2 retained statements2415f78e850a

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

Search problems.science

Find a Problem, Result, source, or page