4
$\begingroup$

Prove:

If $f$ is a real-valued differentiable function such that $\lim_{x\to \infty}f'(x) = 0$ then $\lim_{x\to \infty}(f(x+1)-f(x))=0$.

Proof: We know $\lim_{x\to \infty}f'(x) = 0$. (1)

By the mean value theorem there exists $c\in [x, x+1]$ such that $f'(c) = \dfrac{f(x+1)-f(x)}{1}$

$\iff \lim_{x\to \infty} f'(c) = \lim_{x\to \infty} f(x+1)-f(x) = 0$ by (1).

End of Proof.

  • 0
    You should indicate that $c$ depends on $x$; call it $c_x$, for instance. Also, your final line is badly phrased. Say "Since $\lim_{x\rightarrow\infty }f'(x)=0$, it follows from (1) that $\lim_{x\rightarrow\infty }\bigl( f(x+1)-f(x)\bigr)=0$" (and perhaps explain why by pointing out that $c_x\rightarrow\infty$).2012-12-10

1 Answers 1

4

Your proof as written is not too right as you have not stated where your $x$ lies when you say that there is some $c$ between $x$ and $x+1$. We need to fix $x$ first and then find the corresponding $c$ which depends on $x$.

If $\lim_{x\to +\infty} f'(x)=0$, then for any $\epsilon>0$, there is an $M>0$ such that for any $x>M$ we have $|f'(x)|=|f'(x)-0|<\epsilon$.

Let $x>M$. By the mean value theorem, $\frac{f(x+1)-f(x)}{(x+1)-x}=f'(c)$ for some $x. But $c>x>M$ so that $|f(x+1)-f(x)|=|f'(c)|<\epsilon$.

  • 0
    Technically aren't you using the definition of the limit of a sequence and not the limit definition of a function?2012-12-10