 For an infinite sequence, one is often more interested in the long-term behaviors of the sequence than the behaviors it exhibits early on.In which case, one way to formally capture this concept is to say that the sequence possesses a certain property "eventually", or equivalently, that the property is satisfied by one of its subsequences.For example, the definition of a sequence of real numbers formula_12 converging to some limit "formula_10" is