As mentioned, $f(x)=e^{-x}+\cos x$.
I have tried and having problems with:
1) Prove that $\inf f([0,\infty))=-1$ because it doesn't seem to be clear.
Do I calculate the limits in 0 and in $\infty^-$ and then I can decide which is the infimum? Can you show me how to do that?
2) Prove that for every $-1<c<2$ there is a solution to $f(x)=c$ in the range $[0,\infty]$.
How do I show that such a solution exists in that range? I tried to use the intermediate value theorem but didn't succeed. Can you show me how to do it? Or is there another way? I tried to show the continuity inside the given range to apply the intermediate value thorem, but I think it's wrong for some reason.
Thank you for your generous help.
We have
$$\forall x\ge 0 \;\;\; f (x)= e^{-x}+\cos (x)>-1$$
and
$$\lim_{n\to+\infty}f ((2n+1)\pi)=-1$$ thus $$\inf \{f (x),x\ge 0\}=-1$$