Szemerédi's theorem

Long dense subsets of the integers contain arbitrarily large arithmetic progressions From Wikipedia, the free encyclopedia