数学分析中，有哪些著名的不等式？其证明和应用分别是什么？最好可以有例题来支持观点。