FKG inequality
[fr] Inégalité FKG