基本不等式合集。