DIMACS | Center for Discrete Mathematics and Theoretical Computer Science
Let $r_k(N)$ be the largest subset of $[N] = \{1, \dots, N\}$ with no k-term arithmetic progression. Szemerédi’s theorem states that $r_k(N) = o_k(N)$. We will go over the proof