这不就是求个导的事吗🤔
令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)$不存在😅)
好像是的,当时脑子短路了👍
单调递减的话应该是f(x)<f(0)=0吧?然后原不等式成立
Er...(非静止画面)那就把>当成<了🤓
登录后才能进行此操作