Definition:Limit of a Sequence