0
$\begingroup$

Prove: If $\lim_{n\to\infty}a_n = L$ and $a_n > a$ for all $n$ then $L \geq a$

Proof: We know from the definition of the limit that $\forall_{\epsilon > 0} \exists_n s.t. \forall_{n>N} |a_n - L| < \epsilon$. Now since $a_n > a$ for all $n$...

I am not really sure where to go from here. Is it the case that all sequences defined by this statement are monotone non-increasing? Then intuitively we could say $a_n = L$ for sufficiently large $n$. Thus, by transitivity $L > a$

3 Answers 3

1

Suppose that $L. We put $\varepsilon=a-L>0$. Since $\displaystyle\lim_{n\rightarrow\infty}a_n=L$, there exists $N_0\in \mathbb{N}$ such that $$ |a_n-L|<\varepsilon \quad\forall n\geq N_0. $$ Then $a_n-L for all $n\geq N_0$, or $a_n for all $n\geq N_0$. This is contradict to the assumption $a_n>a$ for all $n$. Hence $L\geq a$. In the above argument, we have seen that we only need $a_n>L$ for sufficiently large $n$.

Moreover, in the general case we do not have $L>a$. Indeed, we observe that although $\displaystyle a_n=\frac{1}{n}>0$ for all $n$ but $\displaystyle L=\lim_{n\rightarrow\infty}a_n=\lim_{n\rightarrow\infty}\frac{1}{n}=0$.

  • 0
    @CodeKingPlusPlus: Please see the solution and extended disscusion on your question.2012-10-05
  • 0
    Where and what is the extended discussion?2012-10-05
2

Hint: To show that $L\geqslant a$, it is enough to show that $a\leqslant L+\varepsilon$, for every $\varepsilon\gt0$. Now, $a_n\to L$ hence, for every $\varepsilon\gt0$, there exists $n_\varepsilon$ such that for every $n\geqslant n_\varepsilon$, $a_n$ is such that...

  • 0
    Why is it enough to show that $a \leq L +\epsilon,$ for every $\epsilon > 0$? If it is, that is what I have.2012-09-29
  • 0
    Suppose by contradiction that $L...2012-09-29
  • 0
    @PlusPlus If $a\leqslant L+\varepsilon$ for every $\varepsilon\gt0$, then $a\leqslant\inf\{L+\varepsilon\mid\varepsilon\gt0\}=\ldots$2012-09-29
  • 0
    Does that mean we take $\epsilon$ to be practically zero? Where did you get that implication $a \leq inf\{L+\epsilon|\epsilon >0\}$2012-10-01
  • 1
    For any set $S$, [$a\leqslant s$ for every $s$ in $S$] is logically equivalent to [$a\leqslant\inf S$]. Is this your question?2012-10-01
1

The sequence need not be monotone. But, here's a hint for one approach towards a proof:

Try arguing by contradiction: Assume $L. Now choose an $\epsilon>0$ so that $L+\epsilon. What can you say about the terms $a_n$ of the sequence for large $n$?

  • 0
    my intuition tells me that for large values of $n$ that I can say: $L = a$ and then $a + \epsilon$ is not less than $a$2012-09-29
  • 0
    @CodeKingPlusPlus For large $n$, you would know $|a_n-L|<\epsilon$; and this would imply $a_n. But $L+\epsilon, so...2012-09-29