eq:conv_R1+Rb}\end{aligned}$$ where ($a$) follows because $(M_{1},M_{b})$ is a function of $X^{n}$; ($b$) follows because $M_{b}$ is a function of $X^{n}$, $A^{n}$ is a function of $M_{b}$ and $M_{2}$ is a function of $(M_{1},M_{b},Y^{n})$; ($c$) follows since $H(Y^{n},Z^{n}|X^{n},M_{b})=\sum_{i=1}^{n}H(Y_{i},Z_{i}|$ $Y^{i-1},Z^{i-1},X^{n},M_{b},A_{i})=\sum_{i=1}^{n}H(Y_{i},Z_{i}|X_{i},A_{i})$ and since $\textrm{h}_{1}$ and $\textrm{h}_{2}$ are functions of $(M_{1},M_{b},Y^{n})$ and $(M_{2},M_{b},Z^{n})$, respectively and because $(Y_{i},Z_{i})\textrm{---}(X_{i},A_{i})\textrm{---}$ $(X^{n\backslash i},Y^{i-1},Z^{i-1},M_{b})$ forms a Markov chain; ($d$) follows since conditioning reduces entropy, since side information VM follows $p(y^{n},z^{n}|a^{n},x^{n})$$=\prod_{i=1}^{n}p_{Y|A,X}(y_{i}|a_{i},x_{i})$ $p_{Z|A,Y}(z_{i}|a_{i},y_{i})$ from (\[eq:degradedness\]) and because $Z_{i}\textrm{---}(Y_{i},A_{i})\textrm{---}$ $(Y^{n\backslash i},Z^{i-1},M_{1},M_{b})$ forms a Markov chain; ($e$) follows by the chain rule for mutual information and the fact that mutual information is non-negative; and ($f$) follows by the Fano inequality (\[eqn: Fano\]) and because entropy is non-negative. We can also write $$\begin{aligned}
n(R_{2}+R_{b}) & \geq & H(M_{2},M_{b
eq: conv_R1+Rb}\end{aligned}$$ where ($ a$) follows because $ (M_{1},M_{b})$ is a function of $ X^{n}$; ($ b$) follows because $ M_{b}$ is a function of $ X^{n}$, $ A^{n}$ is a affair of $ M_{b}$ and $ M_{2}$ is a affair of $ (M_{1},M_{b},Y^{n})$; ($ c$) follows since $ H(Y^{n},Z^{n}|X^{n},M_{b})=\sum_{i=1}^{n}H(Y_{i},Z_{i}|$ $ Y^{i-1},Z^{i-1},X^{n},M_{b},A_{i})=\sum_{i=1}^{n}H(Y_{i},Z_{i}|X_{i},A_{i})$ and since $ \textrm{h}_{1}$ and $ \textrm{h}_{2}$ are functions of $ (M_{1},M_{b},Y^{n})$ and $ (M_{2},M_{b},Z^{n})$, respectively and because $ (Y_{i},Z_{i})\textrm{---}(X_{i},A_{i})\textrm{---}$ $ (X^{n\backslash i},Y^{i-1},Z^{i-1},M_{b})$ forms a Markov range; ($ d$) follows since conditioning reduces entropy, since slope information VM follows $ p(y^{n},z^{n}|a^{n},x^{n})$$=\prod_{i=1}^{n}p_{Y|A, X}(y_{i}|a_{i},x_{i})$ $ p_{Z|A, Y}(z_{i}|a_{i},y_{i})$ from (\[eq: degradedness\ ]) and because $ Z_{i}\textrm{---}(Y_{i},A_{i})\textrm{---}$ $ (Y^{n\backslash i},Z^{i-1},M_{1},M_{b})$ form a Markov chain; ($ e$) follows by the range rule for mutual information and the fact that mutual data is non - negative; and ($ f$) follows by the Fano inequality (\[eqn: Fano\ ]) and because entropy is non - damaging. We can also write $ $ \begin{aligned } 
 n(R_{2}+R_{b }) & \geq & H(M_{2},M_{b
eq:clnv_R1+Rb}\end{aligned}$$ where ($a$) follows becausg $(N_{1},M_{b})$ is a fundtion of $X^{n}$; ($b$) follows because $M_{b}$ is e fubctiob of $X^{n}$, $A^{n}$ is a functiun of $M_{b}$ wnd $M_{2}$ is a fnnction of $(M_{1},M_{b},Y^{n})$; ($c$) follows sindc $H(Y^{n},V^{n}|E^{n},M_{b})=\sum_{i=1}^{n}H(Y_{i},Z_{i}|$ $I^{i-1},Z^{i-1},X^{n},M_{b},A_{i})=\suk_{i=1}^{n}H(Y_{i},Z_{i}|X_{i},A_{i})$ atd snnce $\textrm{h}_{1}$ and $\textrm{h}_{2}$ are functiogs of $(M_{1},K_{b},J^{n})$ and $(M_{2},M_{b},Z^{n})$, rgspecuivqly znd because $(Y_{i},Z_{i})\textrm{---}(X_{i},A_{i})\textrm{---}$ $(X^{h\backslesh i},Y^{i-1},Z^{i-1},M_{b})$ forks a Markov chain; ($d$) followd sijce conditioning rfduces entripy, funce side inwormation NK follows $k(y^{n},z^{n}|a^{n},x^{n})$$=\prod_{i=1}^{n}p_{Y|A,X}(y_{i}|a_{i},x_{i})$ $p_{Z|A,Y}(z_{i}|x_{i},y_{i})$ yrom (\[eq:degrqdwdnfvs\]) and becanse $Z_{i}\nextrm{---}(Y_{i},A_{i})\texbgm{---}$ $(Y^{n\bawkslash i},Z^{i-1},M_{1},M_{b})$ forms s Merkoc chain; ($e$) follows by vhe chain rule for motual infosmction and the fact thqt mutudl itforoqtiun js nkn-negahivx; and ($f$) folmows by the Fano inequality (\[eqm: Sqno\]) and becauae entwo[y is non-negative. We can also write $$\begpn{aljgned}
n(R_{2}+R_{b}) & \geq & H(M_{2},M_{b
eq:conv_R1+Rb}\end{aligned}$$ where ($a$) follows because $(M_{1},M_{b})$ is of ($b$) follows $M_{b}$ is a a of $M_{b}$ and is a function $(M_{1},M_{b},Y^{n})$; ($c$) follows since $H(Y^{n},Z^{n}|X^{n},M_{b})=\sum_{i=1}^{n}H(Y_{i},Z_{i}|$ $Y^{i-1},Z^{i-1},X^{n},M_{b},A_{i})=\sum_{i=1}^{n}H(Y_{i},Z_{i}|X_{i},A_{i})$ since $\textrm{h}_{1}$ and $\textrm{h}_{2}$ are functions of $(M_{1},M_{b},Y^{n})$ and $(M_{2},M_{b},Z^{n})$, respectively and because $(X^{n\backslash i},Y^{i-1},Z^{i-1},M_{b})$ forms a Markov chain; ($d$) follows since conditioning reduces entropy, since information follows $p_{Z|A,Y}(z_{i}|a_{i},y_{i})$ (\[eq:degradedness\]) and because $Z_{i}\textrm{---}(Y_{i},A_{i})\textrm{---}$ $(Y^{n\backslash i},Z^{i-1},M_{1},M_{b})$ forms a Markov chain; ($e$) follows by the chain rule mutual information and the fact that mutual information non-negative; and ($f$) follows the Fano inequality (\[eqn: Fano\]) because is non-negative. can write n(R_{2}+R_{b}) & \geq H(M_{2},M_{b
eq:conv_R1+Rb}\end{aligned}$$ where ($a$) Follows becAuse $(M_{1},m_{b})$ iS a fUnCtioN of $X^{N}$; ($b$) follows becauSE $M_{b}$ iS a function of $X^{n}$, $A^{n}$ is a funCtion Of $m_{B}$ and $m_{2}$ Is A funcTion of $(M_{1},m_{B},Y^{N})$; ($C$) FolLoWs SinCe $h(y^{n},z^{n}|X^{n},M_{B})=\suM_{i=1}^{n}H(Y_{i},Z_{I}|$ $Y^{i-1},Z^{i-1},X^{n},M_{b},A_{I})=\suM_{i=1}^{N}H(Y_{i},Z_{i}|X_{i},A_{i})$ anD SiNce $\textrm{h}_{1}$ And $\Textrm{h}_{2}$ are fuNctIons of $(m_{1},M_{B},Y^{n})$ ANd $(M_{2},M_{b},z^{n})$, rEspecTively ANd becaUse $(Y_{i},Z_{i})\teXtRM{---}(X_{i},A_{i})\tEXtrm{---}$ $(X^{n\bACKsLash I},Y^{i-1},Z^{i-1},M_{b})$ forms a MarkOV cHAin; ($d$) follows sinCe condItIOnING reDucEs entropy, sInCe sidE InformaTIoN vm FolLOws $p(y^{n},z^{n}|a^{n},x^{n})$$=\pRod_{i=1}^{n}p_{Y|A,X}(y_{i}|A_{I},x_{i})$ $P_{Z|A,Y}(z_{i}|A_{i},Y_{i})$ fROm (\[eq:deGradeDnESs\]) aNd because $Z_{i}\TextRm{---}(Y_{i},A_{i})\texTrm{---}$ $(Y^{n\bACkslash I},z^{i-1},M_{1},M_{b})$ foRms a MaRkoV chAin; ($e$) FOlLoWs bY tHE chAIn RulE For Mutual inFoRmAtion And tHE FACt thAt mUtuaL infoRmation is non-nEgaTive; ANd ($f$) FolloWs by tHe FaNo InequAlity (\[eQn: FanO\]) aNd because entropY is nOn-negativE. We CaN alSo Write $$\BEgin{alIgnEd}
n(r_{2}+R_{b}) & \geq & H(m_{2},M_{b
eq:conv_R1+Rb}\end{aligned }$$ where($a$)  fo llo ws  bec ause  $(M_{1},M_{b} ) $ is  a function of $X^{n}$ ; ($b $) foll o ws  beca use $M_ { b} $ isafu nct io n  o f $X^ {n} $, $A^{ n}$ is a f unc ti on of $M_{b} $  a nd $M_{2}$  is  a functionof$(M_{1 }, M_{ b },Y^{ n}) $; ($ c$) fo l lows s ince $H(Y ^{ n },Z^{n } |X^{n}, M _ {b })=\ sum_{i=1}^{n}H(Y_ { i} , Z_{i}|$ $Y^{i- 1},Z^{ i- 1 }, X ^ {n} ,M_ {b},A_{i}) =\ sum_{ i =1}^{n} H (Y _ { i },Z _ {i}|X_{i},A_{ i})$ and si n ce$\text rm {h} _ {1}$ a nd $\ te x trm {h}_{2}$ ar e fu nctions o f $(M_ { 1},M_{b } ,Y^{n}) $ and$(M _{2 },M_ { b} ,Z ^{n }) $ , r e sp ect i vel y and be ca us e $(Y _{i} , Z _ { i})\ tex trm{ ---}( X_{i},A_{i})\ tex trm{ - --} $ $(X ^{n\b acks la sh i} ,Y^{i- 1},Z^ {i -1},M_{b})$ for ms a  Markov c hai n;  ($ d$ ) fol l ows si nce  co ndition ing red u ces  e n t r op y, since side info rm a t io n VM fol lows $ p (y ^{ n },z^{n}| a^ {n} ,x^{ n } )$$=\ prod _ {i =1}^{n}p _{Y|A, X }( y_ {i}|a_{ i} ,x_{i} )$  $p _{Z |A,Y} ( z_{i }|a_{i },y_{i}) $ fro m  (\[eq:degrade d ness\]) and b e ca u s e$ Z_{i }\t extrm{---}( Y_{i } ,A_{ i})\ t ex trm { ---}$  $(Y^ {n \ ba c kslash i},Z^{i-1},M _{ 1},M_{ b})$forms a Marko v chain; ( $ e $ ) follow s by th e  chain rule fo r mut ual inform a tion and  thefact tha t mutuali n formatio n i s n on- neg a t iv e; and ($f$)f o llow sby theFan o inequ ali ty(\[ eqn :Fano\]) a nd becau se  e nt ro pyis no n -negativ e.  We  c analsow rite $ $\beg in{a li gn e d}n(R_{2} + R_ { b }) &  \ ge q &H(M _{ 2},M_ {b
eq:conv_R1+Rb}\end{aligned}$$ where_($a$) follows_because $(M_{1},M_{b})$ is a_function of_$X^{n}$;_($b$) follows_because_$M_{b}$ is a_function of $X^{n}$,_$A^{n}$ is a function_of $M_{b}$ and_$M_{2}$_is a function of $(M_{1},M_{b},Y^{n})$; ($c$) follows since $H(Y^{n},Z^{n}|X^{n},M_{b})=\sum_{i=1}^{n}H(Y_{i},Z_{i}|$ $Y^{i-1},Z^{i-1},X^{n},M_{b},A_{i})=\sum_{i=1}^{n}H(Y_{i},Z_{i}|X_{i},A_{i})$ and since $\textrm{h}_{1}$ and_$\textrm{h}_{2}$_are functions_of_$(M_{1},M_{b},Y^{n})$_and $(M_{2},M_{b},Z^{n})$, respectively and because_$(Y_{i},Z_{i})\textrm{---}(X_{i},A_{i})\textrm{---}$ $(X^{n\backslash i},Y^{i-1},Z^{i-1},M_{b})$ forms a_Markov chain;_($d$) follows since conditioning reduces entropy, since side_information_VM follows $p(y^{n},z^{n}|a^{n},x^{n})$$=\prod_{i=1}^{n}p_{Y|A,X}(y_{i}|a_{i},x_{i})$_$p_{Z|A,Y}(z_{i}|a_{i},y_{i})$ from (\[eq:degradedness\]) and because $Z_{i}\textrm{---}(Y_{i},A_{i})\textrm{---}$ $(Y^{n\backslash i},Z^{i-1},M_{1},M_{b})$ forms_a Markov chain; ($e$) follows by_the chain rule_for_mutual_information and the fact_that mutual information is non-negative; and_($f$) follows by the Fano inequality_(\[eqn: Fano\]) and because entropy is non-negative._We can also write $$\begin{aligned}
n(R_{2}+R_{b}) &_\geq & H(M_{2},M_{b