试证明H（X）是输入概率分布P（x）的上凸函数。