Formal definition for limit of a sequence