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.
Wayne