A(x) = ( a(x)_{ij} ) をn次対称行列で、各成分 a_{ij}(x) は [0,1] 上の連続関数とする。
このとき、次をしめせ。
　det { ∫_[0→1] A(x) dx }^{-1} ≦ ∫_[0→1] { det A(x) }^{-1} dx．

ただし，∫_[0→1] A(x) dx = ( ∫_[0→1] a_{ij}(x) dx ) であり、det は行列式を表す。