设a,b都是上确界,a不等于b.由定义得a小于等于b,b又小于等于a,即a等于b.这是我自己的做法,不知道行不