AT_abc121_c [ABC121C] Energy Drink Collector

听说营养饮料有提升评级的效果，高桥君决定要买 $M$ 瓶营养饮料。 有 $N$ 家店铺在售卖营养饮料，第 $i$ 家店铺每瓶营养饮料售价 $A_i$ 日元，最多可以买 $B_i$ 瓶。 请问，至少需要多少钱才能买到 $M$ 瓶营养饮料？ 另外，保证在给定的输入下，如果有足够的钱，一定可以买到 $M$ 瓶营养饮料。

输入以如下格式从标准输入读入。 > $N$ $M$ > $A_1$ $B_1$ > $A_2$ $B_2$ > $\vdots$ > $A_N$ $B_N$

输出买到 $M$ 瓶营养饮料所需的最小金额。

## 限制条件 - 所有输入均为整数。 - $1 \leq N, M \leq 10^5$ - $1 \leq A_i \leq 10^9$ - $1 \leq B_i \leq 10^5$ - $B_1 + B_2 + \cdots + B_N \geq M$ ## 样例解释 1 只需 $12$ 日元即可在第 $1$ 家店买 $1$ 瓶，在第 $2$ 家店买 $4$ 瓶，总共买到 $5$ 瓶营养饮料。而如果只有 $11$ 日元或更少，则无法买到 $5$ 瓶营养饮料。 ## 样例解释 3 输出结果可能超出 $32$ 位整数型的范围。 由 ChatGPT 4.1 翻译