Real sequence/Tending to infinity/+/Definition

Tending to

A real sequence is said to tend to , if for every , there exists some , such that