#include <bits/stdc++.h>
#define Maxn 510
using namespace std;
long long a,b;
int n,m;
int ans;
int main()
{
    cin>>n>>m;
    a=2*m;
    b=m+1;
    for(int i=1;i<=n-m;i++){
        a+=b;
        b+=1;
    }
    cout<<a;
    return 0;
}