>>552の続きは、↓でおk?

仮定がなりたたない。よって任意の0<ε≦1/2に対して、ある自然数Nが存在し、
n>Nに対して、x_n<εとなるのでx_nはn→∞のとき0に収束する。