それで一定の不確定要素の範囲にあると、分布から「評価」できれば、
上からの値で抑えられるから、不等式は成立する。 そこの部分は証明できる思うが。