P
Initializing...
Szemerédi's theorem (Erdős #139): $r_k(N) = o(N)$ · Prove2Me