a≦bを証明しろという問題ではa<bが証明できればそれで良いんですよね？
a=bが成立しなくても良いんですよね？

いろいろ考えたら逆にゴチャゴチャになってしまって