你吃過「大根蘿蔔」嗎？

據說，有一種非常大根的蘿蔔，叫作「大根蘿蔔」。由於大根蘿蔔不需特別施肥就會長得肥美，因此是許多農夫愛種的作物之一。

今年，由於天氣天氣特別冷，蘿蔔的收成特別好。身為專業披薩外送小哥的Brine，聽說這個消息之後，為了開發新口味的披薩，便特地跑到田鼠的農場去吃蘿蔔。

身為一個專業的農夫，田鼠準備了$n$根最甜的大根蘿蔔要給Brine吃。但是，大根蘿蔔實在是太大根了，Brine的胃裝不下全部。
已知第i根大根蘿蔔的總甜度為$a_i$，而體積為$b_i$單位。另外，Brine的胃總共可以吃$m$單位的蘿蔔。請問Brine吃到的蘿蔔總甜度最多可以多高？
順帶一提的是，蘿蔔是可以切開來的喔，而如果Brine只吃了$\frac{b_i}{k}$單位的蘿蔔，他會吃到$\frac{a_i}{k}$單位的甜度。