Proof of the Van den Berg–Kesten Conjecture

We prove the following conjecture of J. van den Berg and H. Kesten. For any events A and B in a product probability space, Prob(A□B) ≤ Prob(A)Prob(B), where A□B is the event that A and B occur disjointly.