I think the argument is, first of all, I assume [tex]\{t_{n}\}[/tex] take values in [tex]\mathbb{R}[/tex], then, due to the existence of limit, [tex]\inf[/tex] is indeed [tex]\min[/tex] and so it should be [tex]> - \infty[/tex]. Somehow I think it is also an if-and-only-if statement.
The existence of the limit does not imply infimum is minimum.
It's a general fact that if a sequence of points has a limit, the sequence is bounded. The proof can be sketched as follows: Only finitely many points can be a distance greater than 1 away from the limit (by the definition of a limit). So a lower bound of the set is either one of the values farther away than 1 from the limit, or one less than the limit is a lower bound