A. Sasha and His Trip

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const int MAXN = 100005 ;
const int N = 26 ;

int main()
{
    int n,v;
    scanf("%d %d", &n, &v);
    if(v + 1 >= n)  // 如果油箱体积足够大，就可以直接到达
    {
        v = min(v,n - 1);
        printf("%d\n",v);
        return 0;
    }
    int pos = 1;
    int ans = v;
    while(pos + 1 != n) // 否则，每次到一个新城市，就把油补满
    {
        if(v >= n - pos) {  // 判断不补满是否可以到
            break;
        }
        pos ++;
        ans += pos;
    }
    printf("%d\n",ans);
    return 0;
}