这不就是求个导的事吗🤔
令f(x)=(你写的这个函数),x∈(0,π]
导函数$f^{'}(x)=x(xcosx-sinx){\lt}0,因为在(0,\pi]内,xcosx{\lt}sinx(可以再次构造函数求导证明)$
即$f(x)单调递减,f(x){\gt}f(0)=0$(其实$f(0)$不存在😅)
登录后才能进行此操作