Tehtävä 14 · 2007 · syksy

Osoita, että funktio $f:\mathbb R\to\mathbb R$, $f(x)=x-\cos x$, on aidosti kasvava ja että se saa kaikki reaalilukuarvot. Päättele, että tällöin yhtälöllä $f(x)=0$ on vain yksi ratkaisu, ja määritä se kolmen desimaalin tarkkuudella.