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