Let $f>0$ differentiable in $[0,\infty)$. Assume $\lim \limits_{x \to \infty} (\log\circ f)^\prime(x) < 0$. Show that $\int_0^\infty f$ converges. So what I gathered from the givens about $f$, since $(\log\circ f)^\prime(x)=\frac{f^\prime(x)}{f(x)}$ it would mean that far enough, $f^\prime(x)<0$. I don't know how to go about this from here.

Another question in the same kind of area that I'm currently struggling with fruitlessly, assuming that $f$ is still positive and differentiable in $[0,\infty)$ - now the givens are different:
Assume that $\int_0^\infty f$ exists, and that $f^\prime$ is bounded. Show that $\lim \limits_{x\to\infty} f(x)=0$.
About this question I'm thinking about Lagrange's theorem, and using Cauchy's criterion for the convergence of improper integrals to show (somehow) that $f(x)$ can be made arbitrarily small far enough. That didn't get me very far, and frustration quickly ensued.
I appreciate any thoughts and hints, I feel like I'm missing something rather obvious..
Thank you!
 A: Since $\displaystyle{\lim_{x\to\infty} (\log\circ f)^\prime(x) < 0}$, there is some $N\in[0,\infty)$ and some $c>0$ such that $(\log\circ f)^\prime(x)<-c$ for all $x\geq N$.
Let $x>N$, then by the mean value theorem there exists a $y\in[N,x]$ such that
$$(\log\circ f)(x) = (\log\circ f)(N)+(x-N)(\log\circ f)^\prime(y)< (\log\circ f)(N)+(x-N)(-c).$$
Hence $f(x)<f(N)e^{-cx+cN}$ for all $x\geq N$.
Now $${\int_N^\infty} f(x)\,\mathrm{d}x < \int_N^\infty f(N)e^{-cx+cN}\,\mathrm{d}x = \left[f(N)\left(-\frac{1}{c}\right)e^{-cx+cN}\right]_N^\infty = \frac{f(N)}{c}.$$
Hence $\displaystyle{\int}_0^\infty f(x)\,\mathrm{d}x < \int_0^N f(x)\,\mathrm{d}x + \frac{f(N)}{c}<\infty$.
A: The idea here is that we have a differential inequality of the form $f'(x) \leq Cf(x)$. What this says is that $f$ is growing more slowly than an exponential function, and so is integrable.
Some details:
Choose $N$ and $\epsilon_0 < 0$ so $\frac{f'(x)}{f(x)} \leq \epsilon_0$ for all $x \geq N$. Now consider the function $g(x) = f(x)e^{-\epsilon_0 x}$. Differentiate $g$ to find $g'(x) = \epsilon_0 f(x) e^{-ax} + f'(x) e^{-ax} \leq 0$ for $x$ large. So $g(x)$ decreases for $x$ large, and so we have a constant $C$ so that $g(x) \leq C$ for $x$ large. Hence $f(x) \leq Ce^{\epsilon_0 x}$. Since $\epsilon_0 < 0$, we have $f$ integrable.
======================================
For the second question, here's an idea that leads to a solution that feels inelegant, but works. If the function does not converge to zero, there is some $\epsilon > 0$ and a sequence $x_n$ numbers going to infinity (sufficiently spaced out... think about why this matters) so that $f(x_n) \geq \epsilon$. What does this condition and the derivative bound say about the area under the graph?
