不妨设数列单调增,因为有上界所以有上确界,设为A.则an0,存在aN>A-§,则由an单调增知,对任意的n,m>N,有A>an>A-§,A>am>A-§.又因为从而有|an-am|