Let be a Hilbert Space and an Orthonormal Sequence in
Then there is some such that for all

Proof

By the following proposition.

Proposition

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