嵌入不等式证明Carfukel-Baukoff不等式

这个不等式我最开始想借助恒等式和琴生不等式或者切线放缩来证 后来发现凹凸性不确定 所以我们用嵌入不等式直接对x y z这三个自由变量赋值证明