>>671
だから大差ないって。
なんでそんなに違いを主張してるの？

思うに>>637は本質的に別証明だと思って書いたんでないの？
じゃなきゃわざわざ

> z＞ 1のとき
> xyz≦xy+yz+zx+1＜yz+yz+yz+yz=4yzより
> x＜4
>
> あとはx=1,2,3のときそれぞれ調べればいい。

ここまで書く必要ないし。既に本質的に同じことが書いてあるわけだし。
本質的に同じ証明だと気付かされて引くに引けなくなったんじゃないの？