Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 318 / 1 / a

Averaging the integral representations of the Fourier partial sums givesThe finite trigonometric sum isSince $D_k(u)=\sin ((k+1/2)u)/(2\sin (u/2))$, the Fejér kernel is thereforeand

The displayed square shows that $F_n\ge 0$. Every Fourier partial sum preserves the constant function, so ${\sigma }_n(1)=1$. Substituting $f=1$ in the integral formula givesNonnegativity then yields