Für g(x)= x*cos(x) - sin(x) gilt g'(x)=-x*sin(x)
Und es ist g(0)=0 (also nicht negativ)
und g'(x)<0 für alle x∈]0;pi/2[.
Du willst ja wohl auch nur ≤0 haben ?
Also ist g auf dem Intervall monoton fallend und
wegen g(0)=0 sind die Werte alle nicht positiv.