@AlessandroCodenotti It's not super hard. It uses two things: 1) convolution with a bump function smooths a function, and you can convolve with an approximation to the identity, so make something smooth without changing it too much; 2) diffeomorphisms are open in the set of C^k maps with the C^k topology when k>0.
ILL BE BACK WITH A PICTURE @ZachHauk just hang tight, you'll get pinged and it'll end up in your notifications alright. it might take up to 2 business days
if we have 400 sqr feet area of a room and we know that its about 350 sqr a gallon, do we divide 350/400 or 400/350 to find how much gallon of paint is needed to paint the 400 sqr feet?
Now, we just need to know that it's increasing for $x\in(0,1)$ (since it's even, so we can take advantage of the symmetry).
Its derivative is $f'(x)=4x-x\cos(x)-\sin(x)+\sin(2x)$, so we want to show that it's greater than zero in that range.
Note that the derivative is $0$ at zero. So we just need to show that the derivative is increasing, that is, that its derivative is positive in that range.