ただの 乱順序積 ≦ 同順序積 （積分版）だが…

〔FKG不等式〕
　f(x),g(x) を[a,b]上の単調増加（減少）な関数とすると
　∫[a,b] f(x)dx・∫[a,b] g(y)dy ≦ (b-a)∫[a,b] f(x)g(x)dx,

FKG は C.Fortuin, P.Kasteleyn, J.Ginibre の頭文字らしい…

http://elis.sigmath.es.osaka-u.ac.jp/~aida/lecture/18/double-integral2.pdf