一些著名、常用的不等式,可用于公式推导、放缩变换。