# Proving the Existence of Limits at Infinity

Recall from the Limits at Infinity page that we say that:

- $\lim_{x \to \infty} f(x) = L$ means that $\forall \epsilon > 0 \: \exists k \in \mathbb{R} \: \mathrm{s.t.} \forall x : x > k, \: \mid f(x) - L \mid < \epsilon$.

- $\lim_{x \to -\infty} f(x) = L$ means that $\forall \epsilon > 0 \: \exists k \in \mathbb{R} \: \mathrm{s.t.} \forall x : x < k \: \mid f(x) - L \mid < \epsilon$.

## Example 1

**Prove that $\lim_{x \to \infty} \frac{1}{x} = 0$.**

Let $\epsilon > 0$ be given and find $k \in \mathbb{R}$ such that if $x > k$ then $\mid \frac{1}{x} - 0 \mid < \epsilon$.

We will first start off with the following inequality:

(1)Now assume $k > 0$ so that we can get rid of the absolute value bars, then:

(2)Now let $k = \mathrm{max} \{ 0, \frac{1}{\epsilon} \} = \frac{1}{\epsilon}$. We note that $k$ will never be 0 since $\epsilon > 0$. Therefore:

(3)## Example 2

**Prove that $\lim_{x \to \infty} \sqrt{x} = 0$.**

Note that is this example, we will have to somewhat "combine" the definitions of a what it means for a limit *at* infinity that also goes *to* infinity.

What we really want to so is that $\forall m > 0 \: \exists k \in \mathbb{R} \: \mathrm{s.t.} \forall x : x > k, \: f(x) > m$.

So let $m > 0$ be given. We want to find a $k \in \mathbb{R}$ such that if $x > k$ then $\sqrt{x} > m$. Start with the following inequality:

(4)So choose $k = m ^2$, so then:

(5)Therefore $\lim_{x \to \infty} \sqrt{x} = \infty$.