Lemma 22.2
Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Vorlesung 22 Vektorraum/Skalarprodukt/Endliches Orthonormalsystem/Beste Approximation/Fakt