Riesz-Fischer theorem

A measurable function defined on a closed interval is square integrable (and therefore in $L^2$) if and only if Fourier series converges in $L^2$ norm the function: