集合＋基本不等式