π/2<x<πでtanx<0なわけだが