xn→x
∀ε∃N∀n>N x-ε<xn<x+ε
ε=1/m Nm=N Mm=max(M1,...,Mm)
∀m∀n>Mm x-1/m<xn<x+1/m
yn=x-1/m for Mm<n<Mm+1
zn=x+1/m for Mm<n<Mm+1
∀n yn≦yn+1<xn<zn+1≦zn
limxn=limyn=limzn