Bessel's inequality (source code)

= Bessel's inequality
{c}
{wiki}

= Bessel inequality
{c}
{synonym}

For an orthonormal sequence $(e_n)$ in a Hilbert space,
$$
\sum_n|\langle x,e_n\rangle|^2\leq\lVert x\rVert^2.
$$