基本不等式 (8 15:6:21)