f ' (x) = 7 + 4 * cos(x) . das ist immer positiv; denn
          7 + 4 * cos(x) > 0
                4 * cos(x) > - 7
                      cos(x) > -7/4 = -2,25
Und wegen cos(x) ≥ - 1  für alle x ∈ ℝ stimmt das.
Somit f streng monoton steigend und damit injektiv.
Und die Grenzwerte für x gegen ±∞ sind auch  ±∞ also
f auch surjektiv.