tan^2x >= 1