https://123dok.co/document/z3dl4dn9-bessel-inequalities-orthonormal-families-inner-product-spaces-applications.html