说明

真的刘啸宇有个梦想，他想要环游全国。他从一号城市出发，想要去n号城市。城市与城市之间是相邻的，且成一条从1到n的直线，每个城市之间的距离是1公里。

真的刘啸宇打算开着他的小黄出发，他每骑一公里就要消耗一点体力值，最初状态下他的体力值为0，体力值最高为v。真的刘啸宇最喜欢喝可乐，所以他可以通过喝可乐来补充体力值。

每瓶可乐可以补充一点体力值。可乐在不同的城市的售价不同，第i号城市中可乐的售价为i。真的刘啸宇想要问问你他最少需要花费多少钱才能到达n号城市。

输入格式

一行有两个数字，分别为n和v（2<=n<=100,1<=v<=100）

输出格式

最少需要花费的价钱

样例

4 2

4

样例

7 6

6