Limiting value of sequence. Equivalent to Limit(f(n), For(n, a), Element(n, ZZ)).
Equivalent to Limit(f(n), For(n, a), And(Element(n, ZZ), P(n)).