for a complete orthonormal sequence (that is, for an orthonormal sequence that is a basis), we have parseval's identity, which replaces the inequality with an equality (and consequently formula_14 with formula_1).