The story
Endre Szemerédi proved the conjecture in 1975.
Etymology from Wiktionary, CC BY-SA 4.0.
Szemerédi's theorem
Today it means: A result in combinatorics, stating that every set of integers with positive natural density contains a k-term arithmetic progression for every k. Full definition →