ここで、左辺の級数は、コンパクト作用素formula_4の固有値formula_17と特異値formula_18の間に成立するワイルの不等式