2S (6) Proving inequalities (1)