证明一个离散信源在它的输出符号等概率的情况下其熵达到最大值。