 Fejér summation is a uniform-norm contraction

The Fejér kernel is nonnegative and has unit mass in its convolution normalization. The integral triangle inequality therefore bounds the supremum norm of a Fejér sum by that of the original function. In the half-kernel convention $F_n=(2n{)}^{-1}|{\sum }_{j=0}^{n-1}{e}^{ijt}{|}^2$, its integral is $\pi$ and the convolution prefactor is $1/\pi$.