Szemerédi's theorem
= 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$.