A função $f:\left[0,\frac{\pi }{4}\right]\to [0,1]$ definida por $f(x)=\left(1+\mathrm{tg}x\cdot \mathrm{tg}\frac{x}{2}\right)\cos$ é uma função