Bessel inequality (source code)

= Bessel inequality
{c}
{wiki=Bessel's_inequality}

= Bessel's 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.
$$