\] Let $b {\leqslant}\delta k$ and $\lambda / 2 {\leqslant}\mu {\leqslant}2\lambda - 2$. For each $(C,D) \in {\mathcal{B}}(b)$ with $$|C| {\geqslant}(1 + 2\alpha) \mu b,$$ there are at most $$e^{-\alpha b / 4} \binom{\lambda k/2}{k},$$ sets $A \in {\mathcal{T}}(b) \cap {\mathcal{D}}^*(b,\mu)$ such that $A \cap Y(b) \subset D$.

Recall that $|Y(b)| = 2^{16} \lambda^2 b + 2$, and that $b {\geqslant}2^{470} \lambda^{27}$, by , and observe that therefore $|Y(b)|^{5/6} {\leqslant}\alpha \mu b / 2$. By Corollary \[cor:M:containers:app\]$(b)$ and our assumption on $|C|$, it follows that $$|D| {\leqslant}|Y(b)| - \frac{(1 + \alpha) \mu b}{2},$$ and therefore if $A \cap Y(b) \subset D$ then $A'$ misses the set $Y(b) \setminus D \subset [\lambda k / 2]$, which has size at least $(1 + \alpha) \mu b / 2$. Hence, using  and , it follows[^4] that there are at most $$\label{eq:choices:Aprime:Cbig}
{\lambda k / 2 - (1 + \alpha) \mu b / 2 \choose k - b} \, {\leqslant}\, e^{5 \delta b} \bigg( \frac{\lambda - 2}{\lambda} \bigg)^{(1+\alpha)\mu b/2} \bigg( \frac{2}{\lambda - 2} \bigg)^{b} \binom{\lambda k/2}{k}$$ choices for $A' = A \cap [\lambda k / 2 ]$ such that $A \cap Y(b) \subset D$.

Now, choose the set $B = A \setminus [\lambda k / 2]$, using Lemma \[lem:count:Bs\] and Observation \[obs:log\_concavity\] to bound the number of choices. It follows from  and  that the number of sets $A$ is at most $$e^{5\delta
\ ] Let $ b { \leqslant}\delta k$ and $ \lambda / 2 { \leqslant}\mu { \leqslant}2\lambda - 2$. For each $ (C, D) \in { \mathcal{B}}(b)$ with $ $ |C| { \geqslant}(1 + 2\alpha) \mu b,$$ there are at most $ $ e^{-\alpha b / 4 } \binom{\lambda k/2}{k},$$ sic $ A \in { \mathcal{T}}(b) \cap { \mathcal{D}}^*(b,\mu)$ such that $ A \cap Y(b) \subset D$. 

 Recall that $ |Y(b)| = 2^{16 } \lambda^2 b + 2 $, and that $ b { \geqslant}2^{470 } \lambda^{27}$, by  , and note that therefore $ |Y(b)|^{5/6 } { \leqslant}\alpha \mu b / 2$. By Corollary   \[cor: M: containers: app\]$(b)$ and our presumption on $ |C|$, it follows that $ $ |D| { \leqslant}|Y(b)| - \frac{(1 + \alpha) \mu b}{2},$$ and therefore if $ A \cap Y(b) \subset D$ then $ A'$ miss the set $ Y(b) \setminus D \subset [ \lambda k / 2]$, which has size at least $ (1 + \alpha) \mu b / 2$. therefore, use    and  , it follows[^4 ] that there are at about $ $ \label{eq: choices: Aprime: Cbig } 
 { \lambda k / 2 - (1 + \alpha) \mu b / 2 \choose k - b } \, { \leqslant}\, e^{5 \delta b } \bigg (\frac{\lambda - 2}{\lambda } \bigg)^{(1+\alpha)\mu b/2 } \bigg (\frac{2}{\lambda - 2 } \bigg)^{b } \binom{\lambda k/2}{k}$$ choices for $ A' = A \cap [ \lambda k / 2 ] $ such that $ A \cap Y(b) \subset D$. 

 nowadays, choose the set $ B = A \setminus [ \lambda k / 2]$, using Lemma   \[lem: count: Bs\ ] and Observation   \[obs: log\_concavity\ ] to bound the number of choice. It follows from    and    that the number of sets $ A$ is at about $ $ e^{5\delta
\] Leh $b {\leqslant}\delta k$ and $\uambda / 2 {\leqslaur}\mu {\lexslant}2\mambda - 2$. For each $(C,D) \in {\mathcal{B}}(b)$ wivh $$|C| {\geqsoant}(1 + 2\alpha) \mu b,$$ there are at mlst $$e^{-\alpya b / 4} \binom{\lamusa k/2}{k},$$ sccs $A \jk {\matkcel{T}}(b) \cap {\mathcak{D}}^*(b,\mu)$ such that $A \cap Y(b) \sjbdet D$.

Recall that $|Y(b)| = 2^{16} \lambda^2 b + 2$, anq that $n {\heqslant}2^{470} \lambdw^{27}$, by , wnd kbserve that therefore $|Y(b)|^{5/6} {\leqslant}\zlpha \ml b / 2$. By Corollaru \[cor:M:containers:app\]$(b)$ and oug asdumption on $|C|$, it flllows that $$|D| {\lqwslant}|Y(b)| - \frxc{(1 + \alpha) \mu b}{2},$$ and thetefore if $A \cap Y(b) \subset D$ then $A'$ mixses the sgc $Y(b) \vetminus D \wubsen [\lambda k / 2]$, which hav size st least $(1 + \alpma) \mu b / 2$. Hence, using  and , it hollows[^4] that there ate at most $$\lcbel{eq:choices:Aprime:Cbug}
{\oambdd k / 2 - (1 + \qlpfa) \ju b / 2 \cholse k - b} \, {\leqalant}\, e^{5 \delra b} \bigg( \frac{\lambds - 2}{\oambda} \bigg)^{(1+\allha)\mu f/2} \figg( \frac{2}{\lambda - 2} \bigg)^{b} \binom{\lambda k/2}{k}$$ bhoides for $A' = A \cap [\lambda k / 2 ]$ such that $A \cap Y(b) \subsee D$.

Now, choose the set $B = A \setminus [\lambda k / 2]$, ushng Lxmoa \[ltm:gjjbt:Hs\] and Observation \[obs:log\_concavity\] to bound thq nimner of choices. Ib follows from  and  tjay the number ow sets $A$ js at most $$e^{5\delta
\] Let $b {\leqslant}\delta k$ and $\lambda {\leqslant}\mu - 2$. each $(C,D) \in 2\alpha) b,$$ there are most $$e^{-\alpha b 4} \binom{\lambda k/2}{k},$$ sets $A \in \cap {\mathcal{D}}^*(b,\mu)$ such that $A \cap Y(b) \subset D$. Recall that $|Y(b)| = \lambda^2 b + 2$, and that $b {\geqslant}2^{470} \lambda^{27}$, by , and observe therefore {\leqslant}\alpha b 2$. By Corollary \[cor:M:containers:app\]$(b)$ and our assumption on $|C|$, it follows that $$|D| {\leqslant}|Y(b)| - \frac{(1 \alpha) \mu b}{2},$$ and therefore if $A \cap \subset D$ then $A'$ the set $Y(b) \setminus D [\lambda / 2]$, has at $(1 + \alpha) b / 2$. Hence, using and , it follows[^4] that there are at most $$\label{eq:choices:Aprime:Cbig} {\lambda k 2 - \alpha) \mu / \choose - b} \, \delta b} \bigg( \frac{\lambda - 2}{\lambda} \frac{2}{\lambda - 2} \bigg)^{b} \binom{\lambda k/2}{k}$$ choices for = A [\lambda k / 2 ]$ such $A \cap Y(b) \subset D$. Now, choose the $B = A \setminus [\lambda k / 2]$, using Lemma \[lem:count:Bs\] and Observation \[obs:log\_concavity\] to number of choices. It from and that number sets is most $$e^{5\delta
\] Let $b {\leqslant}\delta k$ and $\lambDa / 2 {\leqslant}\Mu {\leqSlaNt}2\lAmBda - 2$. FOr eaCh $(C,D) \in {\mathcal{B}}(B)$ With $$|c| {\geqslant}(1 + 2\alpha) \mu b,$$ there Are at MoST $$e^{-\alPHa B / 4} \binoM{\lambda K/2}{K},$$ sETS $A \iN {\mAtHcaL{T}}(B) \CaP {\mathCal{d}}^*(b,\mu)$ sucH that $A \cap Y(B) \suBsEt D$.

Recall thaT $|y(b)| = 2^{16} \Lambda^2 b + 2$, and ThaT $b {\geqslant}2^{470} \laMbdA^{27}$, by , and ObSerVE that TheReforE $|Y(b)|^{5/6} {\leqSLant}\alPha \mu b / 2$. By COrOLlary \[cOR:M:contaINErS:app\]$(B)$ and our assumption ON $|C|$, IT follows that $$|D| {\lEqslanT}|Y(B)| - \FrAC{(1 + \AlpHa) \mU b}{2},$$ and thereFoRe if $A \CAp Y(b) \subSEt d$ THEn $A'$ MIsses the set $Y(b) \Setminus D \suBSet [\Lambda K / 2]$, wHicH Has sizE at leAsT $(1 + \AlpHa) \mu b / 2$. Hence, uSing  And , it follOws[^4] thaT There arE At most $$\lAbel{eq:ChoIceS:AprIMe:cbIg}
{\lAmBDa k / 2 - (1 + \ALpHa) \mU B / 2 \chOose k - b} \, {\leQsLaNt}\, e^{5 \deLta b} \BIGG( \Frac{\LamBda - 2}{\lAmbda} \Bigg)^{(1+\alpha)\mu b/2} \bIgg( \Frac{2}{\LAmbDa - 2} \bigG)^{b} \binOm{\laMbDa k/2}{k}$$ cHoices For $A' = A \CaP [\lambda k / 2 ]$ such thaT $A \caP Y(b) \subset d$.

NoW, cHooSe The seT $b = A \setmInuS [\laMbda k / 2]$, usIng LemmA \[Lem:CoUNT:bs\] And Observation \[obs:lOg\_CONcAvity\] to bOund thE NuMbER of choicEs. it fOlloWS From  aNd  thAT tHe number Of sets $a$ Is At Most $$e^{5\deLtA
\] Let $b {\leqslant}\delt a k$ and $ \lamb da/ 2  { \leq slan t}\mu {\leqsla n t}2\ lambda - 2$. For each$(C,D )\ in { \ ma thcal {B}}(b) $  w i t h $ $| C|  {\ ge q sl ant}( 1 +  2\alph a) \mu b,$ $ t he re are at mo s t$$e^{-\alp hab / 4} \bino m{\ lambda  k /2} { k},$$  se ts $A  \in { \ mathca l{T}}(b)\c a p {\ma t hcal{D} } ^ *( b,\m u)$ such that $A\ ca p  Y(b) \subsetD$.

R ec a ll t hat  $| Y(b)| = 2^ {1 6} \l a mbda^2b  + 2 $ , a n d that $b {\g eqslant}2^{ 4 70}  \lamb da ^{2 7 }$, by  , an do bse rve that th eref ore $|Y(b )|^{5/ 6 } {\leq s lant}\a lpha \ mub /  2$. By  C oro ll a ry\ [c or: M :co ntainers :a pp \]$(b )$ a n d o ur a ssu mpti on on  $|C|$, it fo llo ws t h at$$|D|  {\le qsla nt }|Y(b )| - \ frac{ (1  + \alpha) \mub}{2 },$$ andthe re for eif $A \cap Y (b)  \s ubset D $ then$ A'$  m i s s es  the set $Y(b) \se tm i n us  D \subs et [\l a mb da k / 2]$,  w hic h ha s sizeat l e as t $(1 +\alpha )  \ mu  b / 2$ .Hence,  u sin g and , it f ollows [^4] tha t the r e are at most$ $\label{eq:ch o ic e s :A p rime :Cb ig}
{\lambd a k/  2 -  (1+  \ alp h a) \m u b /  2 \c h oose k - b} \, {\le qs lant}\ , e^{ 5 \delta b} \ bigg( \fra c { \ lambda -  2}{ \ la m bda} \bigg)^{( 1+\al pha)\mu b/ 2 } \bigg(  \fra c{2}{\la mbda - 2} \ bigg)^{b } \ bin om{ \la m b da  k/2}{k}$$ ch o i cesfo r $A' =  A\cap [\ lam bda  k/ 2  ] $ such th at $A \c ap  Y (b )\su bsetD $.

Now,  c hoo se  th e set $B = A  \set minu s[\ l amb da k /2 ]$ , usin gLe mma\[l em :coun t:Bs \ ] a nd Obse rvation \ [ob s :log \_ co ncavity \] to bound t he  number of  c hoi ces. I t followsfrom  and  that the num b er of s ets  $A$is a t most $$ e^{ 5\delt a
\] Let_$b {\leqslant}\delta_k$ and $\lambda /_2 {\leqslant}\mu_{\leqslant}2\lambda_- 2$._For_each $(C,D) \in_{\mathcal{B}}(b)$ with $$|C|_{\geqslant}(1 + 2\alpha) \mu_b,$$ there are_at_most $$e^{-\alpha b / 4} \binom{\lambda k/2}{k},$$ sets $A \in {\mathcal{T}}(b) \cap {\mathcal{D}}^*(b,\mu)$ such_that_$A \cap_Y(b)_\subset_D$.

Recall that $|Y(b)| = 2^{16}_\lambda^2 b + 2$, and_that $b_{\geqslant}2^{470} \lambda^{27}$, by , and observe that therefore $|Y(b)|^{5/6}_{\leqslant}\alpha_\mu b /_2$. By Corollary \[cor:M:containers:app\]$(b)$ and our assumption on $|C|$, it_follows that $$|D| {\leqslant}|Y(b)| - \frac{(1_+ \alpha) \mu_b}{2},$$_and_therefore if $A \cap_Y(b) \subset D$ then $A'$ misses_the set $Y(b) \setminus D \subset_[\lambda k / 2]$, which has size_at least $(1 + \alpha) \mu_b / 2$. Hence, using _and , it_follows[^4] that there are at_most $$\label{eq:choices:Aprime:Cbig}
{\lambda k_/ 2_- (1 +_\alpha) \mu b / 2 \choose_k - b}_\, {\leqslant}\, e^{5 \delta b} \bigg(_\frac{\lambda_- 2}{\lambda} \bigg)^{(1+\alpha)\mu_b/2}_\bigg(_\frac{2}{\lambda -_2} \bigg)^{b} \binom{\lambda_k/2}{k}$$_choices for_$A'_= A \cap [\lambda k /_2_]$ such that $A \cap Y(b) \subset_D$.

Now, choose the set_$B_= A \setminus [\lambda_k / 2]$, using Lemma \[lem:count:Bs\]_and Observation \[obs:log\_concavity\] to bound the number_of choices._It follows_from  and  that the number of sets $A$ is at most_$$e^{5\delta