Harris' inequality (source code)

= Harris' inequality
{c}

= Harris-Kleitman inequality
{c}
{synonym}

= Harris lemma
{c}
{synonym}

Harris' inequality states that two increasing events under an independent Bernoulli product measure are positively correlated.