题目描述

在dash星球举办的dash杯比赛顺利落幕，小蓝也顺利的完成了监考任务。但是dash杯比赛后，所有比赛的数据都需要上传到主服务器，这令小蓝头疼了起来。
因为dash杯数据上传机制过于老旧，再加上连年参加dash杯比赛的人数日益增多，小蓝所在学校的本地服务器也无法承载过多的数据，并且要上传到dash服务器上还需要一定的配置，所以小蓝决定更换本地服务器的存储配置。
简单的说，小蓝目前学校服务器上有$n$个磁盘，每个磁盘能够存储$a_i$GB的数据，现在要更换所有磁盘到$b_i$GB，因为经费原因，更换的磁盘大小不定，也就是说$b_i$不一定是大于$a_i$的。
为了保护参与dash杯同学们的数据，小蓝在更换磁盘时也必须先把磁盘的内容拷贝到其他位置，也就是说假如目前第一个磁盘是$2$GB的存储空间，现在要更换到一个$3$GB的磁盘，那么就需要先把$2$GB的数据保存下来，等到更换好磁盘后，再放到$3$GB的磁盘中去。所有的数据都可以在更换磁盘后任意的摆放，也就是说在空间允许的前提下，第一个磁盘的数据可以放到第二个磁盘上，甚至一个磁盘上可以放下之前所有的数据。
磁盘中的数据也可以分段保存，也就是说在空间允许的情况下，第一个磁盘中的数据也可以分段保存在第二个第三个磁盘上。
小蓝是一个心善的老师，他发现目前情况下他必须自己出资先购买一定GB的磁盘去存储相应的转移中的数据，但是小蓝也希望自己花的钱能够少，所以希望你能帮他算出他最少需要购买多少GB的磁盘用来存放转移中的数据，以便能够顺利完成磁盘的更换。允许一部分数据放在新购买的磁盘上。