看了一下大家的证明，基本上都是说如果存在一个 $s_i \le w_i$ 的话就将对应的元素放到末尾，更新剩余的 $s$ 值，然后继续处理；如果在中途发现不存在 $s_i \le w_i$ ，就说明不行。

不过对于为什么所有 $s_i \le w_i$ 都成立时就不行没有搞清楚。

比如，$5$ 个菜不够六个人吃，那么我可以其中 $5$ 个人吃这个菜，剩下的一个人吃另外的才呀。

求大神指教：）