Szemerédi's theorem
From Polymath Wiki
Szemerédi's theorem Any subset of the integers of positive upper density contains arbitrarily long arithmetic progressions.
This implies Roth's theorem. The result was first proven by Szemerédi in 1975.
See also the Wikipedia entry for this theorem, or the Scholarpedia entry.
