- Thread starter
- #1

#### Alexmahone

##### Active member

- Jan 26, 2012

- 268

Theorem 5.3B: Assuming $\{a_n\}$ converges,

$\lim\ a_n<M\implies a_n<M$ for $n\gg 1$

$\lim\ a_n>M\implies a_n>M$ for $n\gg 1$

__My attempt:__

Given $\epsilon>0$,

$L-\epsilon<\lim\ a_n<L+\epsilon$ for all $n$

$L-\epsilon<a_n<L+\epsilon$ for $n\gg 1$ (Using Theorem 5.3B)

$-\epsilon<a_n-L<\epsilon$ for $n\gg 1$

$|a_n-L|<\epsilon$ for $n\gg 1$

Case 1: $|a_n|\ge|L|$ for $n\gg 1$

$|a_n|-|L|\le|a_n-L|<\epsilon$ for $n\gg 1$

So, $|a_n|\to|L|$

Case 2: $|a_n|<|L|$ for $n\gg 1$

$|L|-|a_n|\le|a_n-L|<\epsilon$ for $n\gg 1$

So, $|a_n|\to|L|$

---------------------------------------------------------

Could someone please check the above proof for me?