\setminus
  f|=k_0$ and $${\overline{m_{(C_N)^{f_0}}}} \leq {\overline{m_{(C_N)^{f}}}} \leq {\overline{m_{(C_N)^{f_1}}}}.$$

[[Proof]{}. ]{} For each $x \in 2^{I_N}$ and $h \in {\operatorname{\mathsf   {F}}}^{I_N}_{\emptyset, k}$, let $h^0_x = h \cup \{(x,0)\}$ and $h^1_x = h \cup \{(x,1)\}$. Note that there is $i \in \{0,1\}$ such that $${\overline{m_{(C_N)^{h^i_x}}}} \leq {\overline{m_{(C_N)^{h}}}} \leq
{\overline{m_{(C_N)^{h^{1-i}_x}}}}.$$ Iteration of this procedure $k_0$ times will produce the required examples. ${\hspace{0.1in} \square \vspace{0.1in}}$

\[easy1\] Suppose that $N_0 \leq N$ are natural numbers, $h^0,h_0 \in
\prod_{i<N} m_i$ satisfy $h_0(i)+h^0(i) \leq m_i$ for $i <N$, ${\operatorname{\mathbf   {F}}}\in
 {\operatorname{\mathsf   {F}}}^N_{\emptyset, h^0}$ and $m$ is a distribution on $2^{I_0 \cup \dots \cup I_{N-1}}$. Suppose that for every ${\operatorname{\mathbf   {G}}}\in {\operatorname{\mathsf   {F}}}^{N_0,N}_{{\operatorname{\mathbf   {F}}}, h_0}$, $a \leq {\overline{m_{({{\operatorname{\mathbf{ C}}}})^{{\operatorname{\mathbf   {G}}}}}}} \leq b$. Let ${\operatorname{\mathbf   {G}}}^\star \in
{\operatorname{\mathsf   {F}}}^{N_0,N}_{{\operatorname{\mathbf   {F}}}, h_0}$ be such that $|{{\operatorname{\mathsf {dom}}}}{\mathopen\ifcase1{}\oo\or
                        \big(\or\Big(\else\oo\fi}{\operatorname{\mathbf   {G}}}^\star(i){\mathclose\ifcase1{}\
\setminus 
   f|=k_0 $ and $ $ { \overline{m_{(C_N)^{f_0 } } } } \leq { \overline{m_{(C_N)^{f } } } } \leq { \overline{m_{(C_N)^{f_1}}}}.$$ 

 [ [ Proof ] { }. ] { } For each $ x \in 2^{I_N}$ and $ h \in { \operatorname{\mathsf    { F}}}^{I_N}_{\emptyset, k}$, let $ h^0_x = h \cup \{(x,0)\}$ and $ h^1_x = h \cup \{(x,1)\}$. Note that there is $ i \in \{0,1\}$ such that $ $ { \overline{m_{(C_N)^{h^i_x } } } } \leq { \overline{m_{(C_N)^{h } } } } \leq 
 { \overline{m_{(C_N)^{h^{1 - i}_x}}}}.$$ Iteration of this operation $ k_0 $ prison term will produce the required examples.   $ { \hspace{0.1 in } \square \vspace{0.1in}}$ 

 \[easy1\ ] speculate that $ N_0 \leq N$ are natural numbers, $ h^0,h_0 \in 
 \prod_{i < N } m_i$ satisfy $ h_0(i)+h^0(i) \leq m_i$ for $ i < N$, $ { \operatorname{\mathbf    { F}}}\in 
  { \operatorname{\mathsf    { F}}}^N_{\emptyset, h^0}$ and $ m$ is a distribution on $ 2^{I_0 \cup \dots \cup I_{N-1}}$. presuppose that for every $ { \operatorname{\mathbf    { G}}}\in { \operatorname{\mathsf    { F}}}^{N_0,N}_{{\operatorname{\mathbf    { F } } }, h_0}$, $ a \leq { \overline{m_{({{\operatorname{\mathbf { C}}}})^{{\operatorname{\mathbf    { G } } } } } } } \leq b$. get $ { \operatorname{\mathbf    { G}}}^\star \in 
 { \operatorname{\mathsf    { F}}}^{N_0,N}_{{\operatorname{\mathbf    { F } } }, h_0}$ be such that $ |{{\operatorname{\mathsf { dom}}}}{\mathopen\ifcase1{}\oo\or 
                         \big(\or\Big(\else\oo\fi}{\operatorname{\mathbf    { G}}}^\star(i){\mathclose\ifcase1{}\
\setlinus
  f|=k_0$ and $${\overline{m_{(C_K)^{f_0}}}} \leq {\overline{m_{(E_B)^{f}}}} \leq {\overljne{m_{(C_N)^{f_1}}}}.$$

[[Pfoof]{}. ]{} For each $x \in 2^{I_N}$ and $h \ib {\opeeatorname{\mathsf   {F}}}^{I_N}_{\eoptyset, k}$, let $h^0_x = h \cnp \{(x,0)\}$ and $h^1_x = h \cnl \{(x,1)\}$. Notc thaf thexe is $i \in \{0,1\}$ such that $${\overnine{m_{(C_N)^{h^i_x}}}} \leq {\oxexline{m_{(C_N)^{h}}}} \leq
{\overline{m_{(C_N)^{h^{1-i}_x}}}}.$$ Iteratiog of thos procedure $k_0$ tymes rill iriduce the required examples. ${\hslace{0.1in} \vquare \vspace{0.1on}}$

\[easy1\] Suppose that $N_0 \leq J$ arf natural numbers, $j^0,h_0 \in
\prod_{i<N} m_i$ fqtisfy $h_0(i)+h^0(i) \ueq m_i$ for $i <N$, ${\operatotname{\mathbf   {F}}}\in
 {\operatorname{\maghsf   {F}}}^N_{\emptysgc, h^0}$ wtd $m$ is a dmstribltion on $2^{I_0 \cui \dots \wup I_{N-1}}$. Xuppose that fpr xvert ${\operatorname{\mathbf   {G}}}\in {\operatorname{\iathsf   {X}}}^{N_0,U}_{{\operatorname{\mathbf   {F}}}, h_0}$, $a \neq {\mveruune{o_{({{\optravorhame{\mahhbh{ C}}}})^{{\operatorhame{\mathbf   {G}}}}}}} \leq b$. Let ${\operauorgqme{\mathbf   {G}}}^\atar \ig
{\o[eratorname{\mathsf   {F}}}^{N_0,N}_{{\operatorname{\mathtf   {F}}}, h_0}$ be such that $|{{\operqtorname{\mathsf {dom}}}}{\matjopen\ifcafe1{}\oo\or
                        \big(\or\Big(\else\oo\fi}{\opesatoriaoe{\mcbmbf   {G}}}^\dtar(i){\mathclose\ifcase1{}\
\setminus f|=k_0$ and $${\overline{m_{(C_N)^{f_0}}}} \leq {\overline{m_{(C_N)^{f}}}} \leq ]{} each $x 2^{I_N}$ and $h $h^0_x h \cup \{(x,0)\}$ $h^1_x = h \{(x,1)\}$. Note that there is $i \{0,1\}$ such that $${\overline{m_{(C_N)^{h^i_x}}}} \leq {\overline{m_{(C_N)^{h}}}} \leq {\overline{m_{(C_N)^{h^{1-i}_x}}}}.$$ Iteration of this procedure $k_0$ will produce the required examples. ${\hspace{0.1in} \square \vspace{0.1in}}$ \[easy1\] Suppose that $N_0 \leq are numbers, \in m_i$ satisfy $h_0(i)+h^0(i) \leq m_i$ for $i <N$, ${\operatorname{\mathbf {F}}}\in {\operatorname{\mathsf {F}}}^N_{\emptyset, h^0}$ and $m$ is distribution on $2^{I_0 \cup \dots \cup I_{N-1}}$. Suppose for every ${\operatorname{\mathbf {G}}}\in {F}}}^{N_0,N}_{{\operatorname{\mathbf {F}}}, h_0}$, $a \leq C}}}})^{{\operatorname{\mathbf \leq b$. ${\operatorname{\mathbf \in {F}}}^{N_0,N}_{{\operatorname{\mathbf {F}}}, h_0}$ such that $|{{\operatorname{\mathsf {dom}}}}{\mathopen\ifcase1{}\oo\or \big(\or\Big(\else\oo\fi}{\operatorname{\mathbf {G}}}^\star(i){\mathclose\ifcase1{}\
\setminus
  f|=k_0$ and $${\overline{m_{(C_N)^{f_0}}}} \Leq {\overlinE{m_{(C_N)^{f}}}} \Leq {\OveRlIne{m_{(c_N)^{f_1}}}}.$$

[[PRoof]{}. ]{} For each $x \in 2^{i_n}$ and $H \in {\operatorname{\mathsf   {F}}}^{i_N}_{\empTySEt, k}$, lET $h^0_X = h \cup \{(X,0)\}$ and $h^1_x = h \CUp \{(X,1)\}$. nOte ThAt TheRe IS $i \In \{0,1\}$ sucH thAt $${\overlIne{m_{(C_N)^{h^i_x}}}} \lEq {\oVeRline{m_{(C_N)^{h}}}} \leq
{\OVeRline{m_{(C_N)^{h^{1-i}_X}}}}.$$ ItEration of thiS prOcedurE $k_0$ TimES will ProDuce tHe requIRed exaMples. ${\hspaCe{0.1IN} \squarE \Vspace{0.1iN}}$

\[EAsY1\] SupPose that $N_0 \leq N$ are nATuRAl numbers, $h^0,h_0 \in
\pRod_{i<N} m_I$ sATiSFY $h_0(i)+H^0(i) \lEq m_i$ for $i <N$, ${\oPeRatorNAme{\mathBF   {F}}}\IN
 {\OPerATorname{\mathsf   {f}}}^N_{\emptyset, h^0}$ ANd $m$ Is a disTrIbuTIon on $2^{I_0 \Cup \doTs \CUp I_{n-1}}$. Suppose thaT for Every ${\operAtornaME{\mathbf   {g}}}\In {\operaTornamE{\maThsF   {F}}}^{N_0,N}_{{\OPeRaTorNaME{\maTHbF   {F}}}, h_0}$, $A \Leq {\Overline{M_{({{\oPeRatorName{\MATHBf{ C}}}})^{{\oPerAtorName{\mAthbf   {G}}}}}}} \leq b$. Let ${\OpeRatoRNamE{\mathBf   {G}}}^\stAr \in
{\OpEratoRname{\mAthsf   {f}}}^{N_0,n}_{{\operatorname{\maThbf   {f}}}, h_0}$ be such tHat $|{{\OpEraToRname{\MAthsf {dOm}}}}{\mAthOpen\ifcAse1{}\oo\or
                        \BIg(\oR\BIG(\ELsE\oo\fi}{\operatorname{\mAtHBF   {G}}}^\Star(i){\matHclose\IFcAsE1{}\
\setminus
  f|=k_0$ and $$ {\overline {m_{( C_N )^{ f_ 0}}} } \l eq {\overline{ m _{(C _N)^{f}}}} \leq {\over line{ m_ { (C_N ) ^{ f_1}} }}.$$
[ [P r o of] {} .]{}  F o reach$x\in 2^{ I_N}$ and$h\i n {\operator n am e{\mathsf  { F}}}^{I_N}_{ \em ptyset ,k}$ ,  let$h^ 0_x =  h \cu p  \{(x, 0)\}$ and  $ h ^1_x = h \cup\ { (x ,1)\ }$. Note that the r ei s $i \in \{0,1 \}$ su ch th a t  $$ {\o verline{m_ {( C_N)^ { h^i_x}} } }\ l e q { \ overline{m_{( C_N)^{h}}}} \le q
{\ov er lin e {m_{(C _N)^{ h^ { 1-i }_x}}}}.$$Iter ation ofthis p r ocedure $k_0$ t imes w ill  pr oduc e  t he  re qu i red ex amp l es.  ${\hspa ce {0 .1in}  \sq u a r e  \vs pac e{0. 1in}} $

\[easy1\]Sup pose tha t $N_ 0 \le q N$  a re na turalnumbe rs , $h^0,h_0 \in\pro d_{i<N} m _i$  s ati sf y $h_ 0 (i)+h^ 0(i ) \ leq m_i $ for $ i  <N $, $ { \o peratorname{\mathb f{F }}}\in
{\oper a to rn a me{\math sf   {F}} } ^ N_{\e mpty s et , h^0}$and $m $  i sa distr ib utionon  $2 ^{I _0 \c u p \d ots \c up I_{N- 1}}$. Suppose that f o r every ${\op e ra t o rn a me{\ mat hbf   {G}}} \in{ \ope rato r na me{ \ maths f   { F} } }^ { N_0,N}_{{\operatorn am e{\mat hbf  {F}}}, h_0}$ , $a \leq{ \ o verline{ m_{( { {\ o peratorname{\m athbf { C}}}})^{ { \operato rname {\mathbf    {G}}}} } } } \leq b $.Let  ${ \op e r at orname{\mathb f   {G }} }^\star  \i n
{\ope rat orn ame {\m at hsf   {F} }}^{N_0, N} _{ {\ op era torna m e{\mathb f  { F} }},  h_0} $  be su ch th at $ |{ {\ o per atornam e {\ m a thsf  { do m}}} }{\ ma thope n\if c ase 1{}\oo\ or
                  \ big(\or\Big(\ el se\oo\fi}{ \o per atorna m e {\mathbf    {G}}}^\star(i){\math c lose\if cas e1{}\ 
\setminus
 _f|=k_0$ and_$${\overline{m_{(C_N)^{f_0}}}} \leq {\overline{m_{(C_N)^{f}}}} \leq_{\overline{m_{(C_N)^{f_1}}}}.$$

[[Proof]{}. ]{}_For_each $x_\in_2^{I_N}$ and $h_\in {\operatorname{\mathsf _ {F}}}^{I_N}_{\emptyset, k}$, let_$h^0_x = h_\cup_\{(x,0)\}$ and $h^1_x = h \cup \{(x,1)\}$. Note that there is $i \in \{0,1\}$_such_that $${\overline{m_{(C_N)^{h^i_x}}}}_\leq_{\overline{m_{(C_N)^{h}}}}_\leq
{\overline{m_{(C_N)^{h^{1-i}_x}}}}.$$ Iteration of this procedure_$k_0$ times will produce the_required examples. ${\hspace{0.1in}_\square \vspace{0.1in}}$

\[easy1\] Suppose that $N_0 \leq N$ are_natural_numbers, $h^0,h_0 \in
\prod_{i<N}_m_i$ satisfy $h_0(i)+h^0(i) \leq m_i$ for $i <N$, ${\operatorname{\mathbf_  {F}}}\in
 {\operatorname{\mathsf  _{F}}}^N_{\emptyset, h^0}$ and_$m$_is_a distribution on $2^{I_0_\cup \dots \cup I_{N-1}}$. Suppose that_for every ${\operatorname{\mathbf   {G}}}\in_{\operatorname{\mathsf   {F}}}^{N_0,N}_{{\operatorname{\mathbf   {F}}},_h_0}$, $a \leq {\overline{m_{({{\operatorname{\mathbf{ C}}}})^{{\operatorname{\mathbf _ {G}}}}}}} \leq b$. Let_${\operatorname{\mathbf _ {G}}}^\star \in
{\operatorname{\mathsf  _{F}}}^{N_0,N}_{{\operatorname{\mathbf  _{F}}}, h_0}$_be such that_$|{{\operatorname{\mathsf {dom}}}}{\mathopen\ifcase1{}\oo\or
    _  _     __  ___ _  \big(\or\Big(\else\oo\fi}{\operatorname{\mathbf__ {G}}}^\star(i){\mathclose\ifcase1{}\