Key points are not available for this paper at this time.
Abstract Let r₅ (N) be the largest cardinality of a set in \1, , N\ which does not contain 5 elements in arithmetic progression. Then there exists a constant c (0, 1) such that ₅ (N) N\! ( (\! N) ^{c) }. \ Our work is a consequence of recent improved bounds on the U⁴ -inverse theorem of J. Leng and the fact that 3-step nilsequences may be approximated by locally cubic functions on shifted Bohr sets. This, combined with the density increment strategy of Heath–Brown and Szemerédi, codified by Green and Tao, gives the desired result.
Leng et al. (2024) studied this question.