Subset of ℤ with positive upper density contains arithmetic progressions of every length. Szemerédi 1975; Furstenberg via ergodic; Gowers quantitative.
Subset of ℤ with positive upper density contains arithmetic progressions of every length. Szemerédi 1975; Furstenberg via ergodic; Gowers quantitative.