第6問

三つの Ravi 表現を代入して展開すると、表示した恒等式を得る。従って $xy^3+yz^3+zx^3\ge xyz(x+y+z)$ を示せばよい。