 Fourier detection of a progression-free subset of an interval

Let $I=[n]$ for odd $n\ge 3$, embed it in the cyclic group $G=\mathbb{Z}/(2n+1)\mathbb{Z}$, and let $A\subseteq I$ have density of a finite subset $\alpha$. If $A$ has no nonconstant three-term arithmetic progression and $n\ge 4{\alpha }^{-2}$, its balanced indicator function $f=1_A-\alpha 1_I$ satisfiesIndeed, the normalized trilinear arithmetic progression count has the Fourier analysis on a finite abelian group formula $\Lambda (h_1,h_2,h_3)={\sum }_r{\hat{h}}_1(r){\hat{h}}_2(-2r){\hat{h}}_3(r)$. Its values on $1_A$ and $\alpha 1_I$ are $\alpha n/|G{|}^2$ and ${\alpha }^3(n^2+1)/(2|G{|}^2)$. Telescoping their difference into three terms containing $f$, the Parseval identity and Cauchy-Schwarz inequality bound its magnitude by $3\max |\hat{f}|\alpha n/|G|$. The difference is at least ${\alpha }^3{n}^2/(4|G{|}^2)$, giving the claim. The zero Fourier coefficient vanishes by the definition of $\alpha$.