x,x'を異なる2つの無理数(x<x')とし、対応する有理数をr,r'とおく
x<s<x'となる有理数sを一つ取ってくると最小性よりr<=s
一方でs<x'<r'、よってr≠r'