Harris' inequality (source code)

= Harris' inequality
{c}

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