RE: A trigonometric inequalty