基本不等式推广