# Let $f :[a , \infty)\to \mathbb{R}$ a positive and Monotonic function such that $\int_a^\infty f$ converge,prove: $\lim_{x\to\infty}f(x)=0$

Let $f :[a , \infty)\to \mathbb{R}$ a positive and Monotonic function such that $\int_a^\infty f$ converge
prove: $\lim_{x\to\infty}f(x)=0$

• Prove the contrapositive: Assume $\lim_{x\to \infty}f(x)\neq 0$. Then because $f$ is monotonous and positive, either $\lim_{x \to \infty}f(x) = \infty$ or $\lim_{x\to \infty} f(x)= L > 0$. In each of the cases, show that $\int_a^\infty f(x)dx$ doesn't converge. – Arthur Nov 19 '16 at 11:28

That's an easy calculation… assume $$\lim_{x\to\infty}f(x)\not=0$$ then because f is monotone and positive there exists an $\varepsilon > 0$ s.t. $f>\varepsilon$ so $$\int_a^\infty f \ge \int_a^\infty \varepsilon = \infty$$
• what if $f$ is decreasing ? – ameen ali Nov 19 '16 at 11:46
• That also holds if is decreasing… if f decreases and there is no such an $\varepsilon$ the limit equals 0 due to the fact that then the inf equals the limit – Gono Nov 19 '16 at 12:17
Alternative answer: if $f$ is constant then the result is trivial; wlog $f$ is decreasing, since if it is increasing then the integral can't converge.
By the integral test for convergence, $\sum_{i=a}^{\infty} f(i)$ converges. Therefore $f(i) \to 0$ as $i \to \infty$ over the integers.
But $f$ is monotone, so $f(\lfloor x \rfloor) \geq f(x) \geq f(\lceil x \rceil)$; so we're done by the squeeze theorem.