基本不等式推广到4个数