>>685
全部を1/xyz乗して対数をとって式を考えると
xyzは自然数だから
x=αと固定して、α≧1の定数、X≧2かつX＞αの範囲で考えて
f(X)=log(α+X)/(αX)
とすると、この範囲でf(X)は減少関数
よってy＜zのときf(y)＞f(z)
α=xとおいて、かな
間違ってたらごめん