不等式的证明——综合法