# Strictly Increasing Infinite Sequence of Integers is Cofinal in Natural Numbers

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.