solve for 0<=x<pi/2, (1/2)tg^2(x)-sec(x)+1/2>=0