First moment
Second moment
Lovász local lemma