Let $f : \mathbb{R} \to \mathbb{R}$ be a continuously differentiable function. Suppose $d = \inf_{x \in \mathbb{R}} f'(x)> 0$. Prove that $f(a) = 0$ for some $a \in \mathbb{R}$.
Attempt:
My idea is to prove that $f(x)$ takes both positive and negative values and then to use intermediate theorem to prove the existence of $a$.
On the contrary lets assume that $f(x) > 0$ for all $x \in \mathbb{R}$ , since $d>0$ it is a strictly increasing function hence $$\lim_{x \to -\infty} f(x) \to 0 \hspace{2cm} (1)$$.
It is given that the function is continuously differentiable
$$\lim_{x \to -\infty} \frac{f(x+h)-f(x)}{h} = f'(x) = 0 \hspace{2cm}(2)$$ In the above equation, due to (1) the numerator is bounded and the denominator tends to $\infty$, which contradicts with the assumption that $\inf_{x \in \mathbb{R}} f'(x)> 0$.$\hspace{2cm} (3)$
Similar argument can be given to prove that the function cannot take negative values alone.
Hence from IMVT, we can conclude that for such a function there exists an $a \in \mathbb{R}$ such that $f(a) = 0$.
Specifically my doubt is weather I can draw conclusions (2) and (3)
By MVT, for any $b<a$ there exists exists a $b<\xi<a,$ such that $$\frac{f(a)-f(b)}{a-b}=f'(\xi).$$ So, $$\frac{f(a)-f(b)}{a-b}\geq d>0.$$ Since $a-b$ is positive, $$f(a)-f(b)\geq (a-b)d.$$
Now assume $f(a)>0$, then by letting $b$ become small enough, the RHS becomes very large, so, $f(b)$ must cross to negative value for this to b possible. So, we get change of sign in $f$, thus w must have a zero of it.
If $f(b)<0$, then let $a$ grow large and positive, then $f(a)$ must become positive to keep up with the RHS.
So, pick a random point, say, $0$, then either $f(0)=0$, which is what we wanted! Or it is either positive or negative. If positive choosing $a=0$ proves that $f$ has a root. If negative, choose $b=0$ and prove that $f$ has a zero.
Note: To come up with this, think about it geometrically, it tells you that you have at least d(b-a) vertical difference in values of $f$ at a and b. By making this difference large enough, we see that somewhere we have them on opposite sides of $x$-axis.