Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $f: [1,\infty) \rightarrow R$ be a function. Suppose that f is increasing, prove that if $\lim_{x \rightarrow \infty} f(x)$ exists then the sequence $\{f(n)\}_{n=1}^{\infty}$ is convergent.

So by definition of limit of function at infinity, let $\lim_{x \rightarrow \infty} f(x)=L$, then for any $\epsilon>0$, there exists $M \in R$ such that for $x \in [1,\infty)$, $x>M$, we have $|f(x)-L|<\epsilon$. I want to connect this to definition of limit of sequence: for any $\epsilon>0$, there exists $N \in \mathbf{N}$ such that $n>N$ implies $|f(n)-L|<\epsilon$.

It seems pretty easy, can I just let $N=M$, and $x=n$ (I have one concern though: $M \in R$, but N needs to be in $\mathbf{N}$.

Thanks!

share|improve this question
2  
So strange. I am pretty sure this exact same question was asked before, with a lot of comments. I am unable to find it though. –  Aryabhata Apr 13 '11 at 21:53
    
@Moron: Yes, same déjà-vu here, but I'm pretty sure that last time it was an if and only if statement... –  t.b. Apr 13 '11 at 21:59
    
It was the other direction of the statement, right? –  GWu Apr 13 '11 at 22:07
    
@GWu: Well, the question was to prove that for increasing $f$ convergence of $f(x)$ is equivalent to convergence of $f(n)$. It provided an ok argument for the direction the question here asks about and said "read the argument backwards" for the (slightly more) interesting direction. –  t.b. Apr 13 '11 at 22:11
add comment

2 Answers 2

up vote 3 down vote accepted

You don't need monotonicity of $f$. And yes, you have the right proof, except that you just need to take $N=\lceil M \rceil$.

share|improve this answer
add comment

The hypotheses imply that $f$ is bounded "at infinity". Hence the sequence $(f(n))$ will be increasing and bounded and so converges (to its sup).

share|improve this answer
    
I think GWu's answer is better. As he points out, "increasing" is simply not needed here, and your implicit appeal to completeness seems like overkill. For instance, the result also holds for functions $f: \mathbb{Q} \rightarrow \mathbb{Q}$, right? –  Pete L. Clark Apr 14 '11 at 6:18
    
@Pete, you're right of course. –  lhf Apr 14 '11 at 10:08
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.