>>718で行くと

cとdを比較するのが難しいなって

a > b
b > c
b > dは簡単

でも、ここまでくればcとdが同じじゃないことを言えればいいから証明できたな。うまく説明できないんだけど
やっぱり証明苦手だ。頭の中でちゃんと論理的に結論が出るのに説明できないwww