Strictly Increasing Infinite Sequence of Integers is Cofinal in Natural Numbers

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $S = \left\langle{x_n}\right\rangle$ be an infinite sequence of integers which is strictly increasing.


Then $S$ is a cofinal subset of $\left({\Z, \le}\right)$ where $\le$ is the usual ordering on the integers.


Proof