首先由确界定理,有界数集必有确界,以上确界为例,用反证法,
设有两个上确界a,b,且a0,
取数集中任何x,x+e