Harris-FKG inequality

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