Session 5 - Improved bounds for the sunflower lemma