Bourgain bound for three-term-progression-free sets
= Bourgain bound for three-term-progression-free sets
{c}
If $G$ is a finite <abelian group> of odd order $N$ and $A\subseteq G$ contains no nonconstant three-term <arithmetic progression>, then Bourgain's bound is
$$
|A|\ll N\left(\frac{\log\log N}{\log N}\right)^{1/2}.
$$