Szemerédi theorem
= Szemerédi theorem
{c}
{wiki=Szemerédi's_theorem}
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$.