定義だけからは演繹できない、実験結果の積み重ねだから不等式で定式化されているわけです。