Bessel's Inequality

Let be a Hilbert Space and an Orthonormal Sequence in Then for all :

In particular