先证xn收敛yn<=y1而且lim（xn-yn）=2即对于eps=1存在N>0,当n>N时|xn-yn-2|<1即x1<=xn即当n>N时，xn单调有界我们知道单调有界必收敛，所以xn收敛,设极限为x而由定义，对于任意eps>0存在n,m,使得n,m>N时，|xn-ym-2|所以|(xn-2)-ym|=|ym-(xn-2)|令n->无穷得到|ym-(x-2)|由定义，所以yn收敛，且极限为x-2
