\sum_{i=1}^k a_i \geq \sum_{i=1}^k b_i