有记忆信道的信道容量高于无记忆信道的信道容量。考虑一个二元对称信道 ， 表示模2加，Xi，Yi∈{0，1}。假定Z1，Z2…，Zn有相同的边缘概率分布P(Zi=1)=p=1-P(Zi=0)，但是并不相互独立，但是Zn与输入Xn相互独立。如果记C=1-H(p，1-p)，证明：