0<x<π/4 时 0<tanx<1 所以 (tanx)^(n+1)<(tanx)^n 自然积分I[n+1]<I[n]
注意1+tan²x=sec²x=(tanx)'
I[n]+I[n-2] 凑全微分即可。将tanx看成t
I[n]+I[n-2]凑成t^(n-2)对t的积分,积分区间为0到1,积分值为1/(n-1)
由单调性 可知 2I[n]<I[n]+I[n-2]= 1/(n-1) 故I[n]<1/[2(n-1)]
同样 1/(n+1)=I[n+2]+I[n]<I[n] 所以I[n]>1/[2(n+1)]