Hi, how can I prove that $\displaystyle f:\mathbb{R} \to \mathbb{R}$, where

$\displaystyle f(x)=x^3+4x-\cos(\pi x)$

is a bijective function?

If the function were just $\displaystyle g(x)=x^3+4x$, the problem could be easily solved by noting that $\displaystyle x^3$ and $\displaystyle x$ are strictly increasing functions, and their linear combination is therefore also strictly increasing. As the image of $\displaystyle g(x)$ is whole $\displaystyle \mathbb{R}$, $\displaystyle g(x)$ is bijective.

But in $\displaystyle f(x)$, we also have $\displaystyle \cos(\pi x)$, which is a periodic, and not strictly monotonous function. Do we have to show that $\displaystyle f(x)$ is simultaneously injective and surjective to be a bijection or is there some other way?

Thanks!