题目描述

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

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

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

输入格式

一行输入两个整数 $n$ 和 $v$（$2 \le n \le 100$，$1 \le v \le 100$）。

输出格式

最少需要花费的价钱。

样例

4 2

4

7 6

6