376>>
{ek}として正規直交基底を取ると、ベッセルの不等式から、
納k=n+1,m]|<x,ek>|^2→0(m,n→∞)
となるらしいのですが、どうしてそうなるのかわからないのです…