Definition:Limit of Real Sequence