 Riesz-Fischer theorem

For $1\le p\le \infty$, the Lebesgue space $L^p$ is complete in its usual norm.

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: