LAUSR

The 1971 Fortuin–Kasteleyn–Ginibre inequality for two monotone functions on a distributive lattice is well known and has seen many applications in statistical mechanics and other fields of mathematics. In 2008, one of us (Sahi) conjectured an extended version of this inequality for all n > 2 monotone functions on a distributive lattice. Here, we prove the conjecture for two special cases: for monotone functions on the unit square in [Formula: see text] whose upper level sets are k-dimensional rectangles and, more significantly, for arbitrary monotone functions on the unit square in [Formula: see text]. The general case for [Formula: see text], remains open.