不等式的证明分析法有哪些