Bochner–Herglotz theorem ($r(n)={\int }_{\mathbb{R}/\mathbb{Z}}{e}^{2\pi int}d\sigma (t)$)

A positive-definite function $r$ on the discrete group $\mathbb{Z}$ is the sequence of Fourier coefficients of a unique finite positive Borel measure on the circle, with total mass $r(0)$. Positivity makes the finite sums ${\sum }_{|n|<N}(1-|n|/N)r(n)e^{-2\pi int}$ nonnegative. Their measures converge weakly to the required measure; uniqueness follows from density of trigonometric polynomials in continuous functions.

For a finite positive Borel measure on the circle, averaged squared Fourier coefficients tend to the sum of squares of its atomic masses. Express each squared coefficient as a double integral and average the circle character. The averaged character is bounded by one, tends to one on the diagonal and to zero elsewhere, so the dominated convergence theorem gives the diagonal mass. In particular an atomless measure has vanishing averaged absolute coefficients by the Cauchy-Schwarz inequality.