#include<bits/stdc++.h>
using namespace std;
int main()
{
int n,p,s=0;
cin>>n>>p;
for(int i=p+1;i<=n;i++)
s+=i;
cout<<2*p+s;
return 0;
}