Quasipolynomial Bounds for Arithmetic Progressions

We prove Erdős's conjecture that every set of positive integers with divergent reciprocal sum contains arithmetic progressions of every finite length. More quantitatively, for every fixed k ≥ 3, we show $r_k(N)\le C_{k}N\exp (-c_k(\log N{)}^{{\epsilon }_k})$ with $C_k,c_k,{\epsilon }_k>0$, where $r_k(N)$ is the largest size of a subset of $\{1,\dots ,N\}$ with no nonconstant k-term arithmetic progression.