The sum of the positive numbers \(a, b, c\) is \(\pi / 2\). Prove that \(\cos a + \cos b + \cos c > \sin a + \sin b + \sin c\).