三元均值不等式来了！