Increasing Sequence in Ordered Set Terminates iff Maximal Element

Theorem
Let $\struct {P, \le}$ be an ordered set.


 * $(1): \quad$ Every increasing sequence $x_1 \le x_2 \le x_3 \le \cdots$ with $x_i \in P$ eventually terminates: there is $n \in \N$ such that $x_n = x_{n + 1} = \cdots$.


 * $(2): \quad$ Every non-empty subset of $P$ has a maximal element.

$(1)$ implies $(2)$
Suppose $(1)$ holds.

Pick $\O \ne S \subseteq P$.

Let $x_1 \in S$ be arbitrary.

Given $x_k \in S$, pick $x_{k + 1} \in S$ strictly bigger than $x_k$.

By hypothesis the process must eventually terminate, say $x_n$ is the last element.

Then by construction there are no larger elements than $x_n$, that is, $x_n$ is a maximal element of $S$.

$(2)$ implies $(1)$
Suppose $(2)$ holds.

Let $\sequence {x_k}_{k \mathop \in \N}$ be an increasing sequence of elements of $P$.

By hypothesis, the set $\set {x_k: k \in \N}$ has a maximal element, say $x_n$.

Then since $x_m \ge x_n$ for all $m \ge n$, we must have $x_n = x_{n + 1} = \cdots$.