Lemma 22.8
Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Vorlesung 22 Vektorraum/Skalarprodukt/Orthonormalsystem/Besselsche Abschätzung/Fakt