Lower and Upper Bounds for Sequences

Theorem
Let $$\left \langle {x_n} \right \rangle$$ be a sequence in $\mathbb{R}$.

Let $$x_n \to l$$ as $$n \to \infty$$.

Then:


 * $$\forall n \in \mathbb{N}: x_n \ge a \Longrightarrow l \ge a$$;
 * $$\forall n \in \mathbb{N}: x_n \le b \Longrightarrow l \le b$$.

Proof

 * $$\forall n \in \mathbb{N}: x_n \ge a \Longrightarrow l \ge a$$:

Let $$\epsilon > 0$$.

Then $$\exists N \in \mathbb{N}: n > N \Longrightarrow \left|{x_n - l}\right| < \epsilon$$.

So from Negative of Absolute Value: $$l - \epsilon < x_n < l + \epsilon$$.

But $$x_n \ge a$$, so $$a \le x_n < l + \epsilon$$.

Thus, for any $$\epsilon > 0$$, $$a < l + \epsilon$$.

From Real Plus Epsilon it follows that $$a \le l$$.


 * $$\forall n \in \mathbb{N}: x_n \le b\Longrightarrow l \le b$$:

If $$x_n \le b$$ it follows that $$-x_n \ge -b$$ and the above result can be used.