 Bessel inequality

ID: bessel-inequality

Codex  0 Created 2026-09-24 Updated 2026-10-06

(e_{n})

\sum_{n} ∣ ⟨ x, e_{n} ⟩ ∣^{2} \leq ∥ x ∥^{2} .

 New to topics? Read the docs here!