Lemma 2.27. Assuming that:

$Γ \subseteq \hat{G}$ of size $d$
$ρ > 0$

Then

| B (Γ, ρ) | \geq {(\frac{ρ}{8})}^{d} | G | .