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