关于另一种做法的疑问

题解 中提到 $s_i\ge a_i$ 类要按 $s$ 从小到大排序，这样最优。然而只有 $s_i\ge a_i$ 时按 $a$ 从小到大排序显然也是对的，但有两类的时候按 $a$ 排序就错了。此题解的证明是不是有问题？