等号成立条件は x=y=z と仮定する
中略
ゆえに
x<y<z の時に等号が成立することはない

等号成立条件を仮定しているのに
その等号が成立しない条件を示す

これに意味はない
イコールで書けるものがあると仮定しているのにもかかわらず
イコールでない場合を明示してどうする
既にイコールで書けることは仮定している
その条件が外れた場合はイコールを除いた不等号に決まっている