(1)a≦b
(2)b＜xのすべてのxについてa≦x

(1)と(2)が同値であることを証明できません。
(1)が成立するなら、a≦b＜xなのでa＜xですが
a=xとなりうることを示すにはどうすればいいですか？