>x,yを、x<yなる実数とする。

この時点でダメだな。
単なる文字に大小関係は無いの。
x<yとする
なんてやってるということはxとyにはなんらかの実数、
つまり具体的数値が代入されていることを予定しているんだろ?
アルファベットに大小関係は無いの。
もうほっとこう。だめだ。