和积不等式的证明