8
$\begingroup$

Given a differentiable function on $(a,+\infty)$ such as $\lim \limits_{x \to\infty } \frac{f(x)}{x}=0$ prove the following: $$ \lim \limits_{x \to\infty } \inf |f'(x)|=0 $$

I just can't see how to do it... (even after understanding How to show that $\lim\limits_{x \to \infty} f'(x) = 0$ implies $\lim\limits_{x \to \infty} \frac{f(x)}{x} = 0$?)

$\endgroup$
  • 1
    $\begingroup$ For some $\epsilon > 0,$ what happens if $f'(x) > \epsilon$ for all $x > X_0,$ where $X_0$ is some large positive number? The other case is, what happens if $f'(x) < - \epsilon$ with everything else written the same? $\endgroup$ – Will Jagy Feb 25 '13 at 5:40
  • $\begingroup$ @WillJagy than f(x) is monotonically increasing to infinity, but it doesn't yet a contradict $\endgroup$ – User Feb 25 '13 at 5:46
  • $\begingroup$ Anyway, there is still a little more to it after that, but it is a start. $\endgroup$ – Will Jagy Feb 25 '13 at 5:46
  • $\begingroup$ User, yes, monotone to infinity, and what about $f(x) / x?$ $\endgroup$ – Will Jagy Feb 25 '13 at 5:47
  • $\begingroup$ Or, what about $(f(x)-f(X_0)) / (x - X_0)?$ $\endgroup$ – Will Jagy Feb 25 '13 at 5:54
7
$\begingroup$

It suffices to show that there exists a sequence $x_n\to \infty$ such that $f'(x_n)\to 0$.

By the mean value theorem, for each $n$ there exists $x_n$ with $n<x_n<2n$ such that $$ f'(x_n) = \frac{f(2n)-f(n)}{2n-n}=\frac{f(2n)-f(n)}{n}=2\frac{f(2n)}{2n}-\frac{f(n)}{n}. $$ Since $\lim_{x\to \infty} f(x)/x=0$, it follows that the right hand side tends to zero, and hence $$ \lim_{n\to \infty} f'(x_n)=0. $$ By the squeeze theorem, the fact that $x_n>n$ implies that $$ \lim_{n\to \infty} x_n=\infty. $$ This finishes the proof.

$\endgroup$
1
$\begingroup$

In case $f'(x)>\epsilon$ for all $x\geq x_0$ then (show that) $f(x)>f(x_0)+\epsilon(x-x_0)$ for all $x\geq x_0$.
Then show that $f(x)>f(x_0)+\epsilon(x-x_0)>\frac{\epsilon}{2}x$ for all $x\geq x_1$ for some $x_1\geq x_0$...

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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