

On the other hand, Fano's inequality [1]} implies that
for any \(\epsilon _0>0\) ,
\(& & H(W_1|Y_1^{n}) &\le \epsilon _0 \log \left(2^{nR_1}-1\right)+h(\epsilon _0) := n\delta _1 & \\&\text{and} & H(W_2|Y_2^{n}) &\le \epsilon _0 \log \left(2^{nR_2}-1\right)+h(\epsilon _0) := n\delta _2. &\) 
