RE: Trig Inequality