6 基本不等式