Harris-FKG inequality (source code)

= Harris-FKG inequality
{c}

Increasing events under a product probability measure are positively associated: $\mathbb P(A\cap B)\geq\mathbb P(A)\mathbb P(B)$.