Claims

../

2019_08_26_fox_pohoata: Fox and Pohoata's 2019 theorem that a set of N integers with no l-term progression can hold N^{2-o(1)} k-term progressions, with bounds tied to the largest l-progression-free set; answers both displayed questions yes.

---