Real numbers/Sequence/Limit and convergence/Definition