因为 tanx>1,所以 (tanx)^2 - 1 + 1/[(tanx)^2>=2怎么推断出来的