Let H be an inner product space and let (ek)k=1∞ be an orthonormal set. Then for all h∈H

∑k=1∞⟨ek,h⟩2≤||h||2