Lemma 4.13. If Gn is d-regular, then there exists 𝜀=𝜀d>0 such that

ℙ(Φ(Gn)<𝜀)→0.