szemeredis_theorem (388B)
1 # Szemeredi's theorem 2 3 https://en.wikipedia.org/wiki/Szemer%C3%A9di%27s_theorem 4 5 Finitary formulation: for any number k and density bound delta, there is a N such that every subset of {1, ..., N} of density at least delta contains an [arithmetic_progression] of length k 6 7 special case: [roths_theorem] 8 9 Up: [theorem] about [arithmetic_progression] 10 11 See also: [szemeredi_regularity_lemma]