2C Proving inequalities