Class 11, Video 3: Proof of the LLL

In this video we prove the Lovasz Local Lemma.

Erratum: at 6:25, I say "numerator" but mean "denominator"...