How do I show that ?
be the angles of an acute triangle.
How should I approach this kind of "geometric inequalities"? I've considered substituting the cosines using the law of the cosines and then use the Ravi transformation to turn it into an algebraic one, but that seems too tedious and unlikely to yield any beautiful solution. Any hints will be appreciated!