Formal Limit of Sequence