Szemerédi theorem (ergodic form)

Every set of integers with positive upper density contains arbitrarily long arithmetic progressions. Szemerédi 1975 (combinatorial proof). Furstenberg's 1977 ergodic proof: translates the statement to a multiple-recurrence theorem for…