Put . Its modulus is the modulus of the Fourier transform in the question, independently of the sign convention. We use Hua's lemma in the cubic form ; the cubic eighth-moment proof by differencing establishes this from the subpower bound for the divisor function. Therefore
and imply . Choose an actual attaining at least half this bound; attainment of the supremum itself is unnecessary.
Fix and put . The Dirichlet approximation theorem with gives coprime integers satisfying
The cubic Weyl inequality, which is the quantitative equidistribution estimate needed here, says
Compare it with the lower bound. Choose so small that . It follows that
But and . Both are , so for large the first term must supply this lower bound. Consequently , while the approximation above gives . Enlarging the constants covers bounded . Thus
Here is distance modulo one. A ninth moment of this size therefore forces at least one near-rational frequency, rather than merely a large pointwise sum somewhere outside .