Szemerédi's theorem (source code)

= Szemerédi's theorem
{c}
{wiki}

= Szemerédi theorem
{c}
{synonym}

For every positive density $\alpha$ and positive integer $r$, every sufficiently large subset of $[n]$ of size at least $\alpha n$ contains a nonconstant arithmetic progression of length $r$.