# Prove $f$ is unbounded

Let $f:(0,\infty)\rightarrow\mathbb{R}$ be a differentiable function such that$\ \lim_{x \rightarrow \infty} f^{\ '}(x)=L>0$. Prove $f$ is unbounded.

My try:

$\lim_{x \rightarrow \infty} f^{\ '}(x)=L>0\Rightarrow$ Choosing $\epsilon=\frac{L}{2}$, we get $\exists x_0 \ \forall x>x_0:f^{\ '}(x)>\frac{L}{2}.$

By MVT: $f(x)>\frac{L}{2}x +f(0)$.

Is my proof correct, and can I conclude from it the result?

Not quite; your last step assumes that $f'(x) > \frac{L}{2}$ for all $x > 0$. It is true that $f(x) > \frac{L}{2} (x-x_0) + f(x_0)$, though, and this is good enough.
take $a$ to be large enough so that $f^{\prime}(a) \in B(L,\epsilon)$ for all $y \geq a$. Well, then $f(y) \geq f(a)+(L/2)(y-a)$, which is unbounded.
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}