Past exam of the mathematics course of the University of Cambridge / 2013 / iii / Paper 8 / 1 / v / Solution

Part (i) and the Cauchy-Schwarz inequality showDirect integration of this finite Fourier partial sum givesMoreover Bessel's inequality puts both coefficient sequences in ${\ell }^2$, so their product series is absolutely convergent by the Cauchy-Schwarz inequality. Consequently the cross form of Parseval's identity isTaking $g=f$ also gives equality of the squared function norm and the squared coefficient norm.