Theorem 5. Assuming that:

$0 < 𝜀 < \frac{1}{4}$
$A \subset Q_{n}$
$\frac{| A |}{2^{n}} \geq \frac{1}{2}$

Then

\frac{| A_{(𝜀 n)} |}{2^{n}} \geq 1 - \frac{2}{𝜀} e^{- \frac{𝜀^{2} n}{2}}

.