条据书信平均值不等式证明