求解答函数单调性 红圈部分是怎么变形的？详细些 谢谢

f(x)单调递减， ∴ x≥1时，f(x)≤f(1)=1＜π/2 又sinv当v∈（0，π/2）时单调递增， ∴ sinf(x)单调递减，【复合函数的单调性】 ∴ 当x1＜x2时， sinf(x1)＞ sinf(x2) ∵ n＜n+1 ∴ sinf(n)＞ sinf(n+1) 即u(n)＞u(n+1) ∴ 数列{u(n)}单调递减。

用导数不是更简单吗？ y‘=1-1/x^2=(x^2-1)/x^2, 当 x1 时， y’>0, 函数单调增加； 当 -1<x<1 时， y’<0, 函数单调减少。