https://123dok.net/document/zgw6kn3n-set-upper-bounds-finite-family-self-adjoint-operators.html