#include <bits/stdc++.h>
#define rep(i,n)for(int i=0;i<(n);i++)
using namespace std;
typedef pair<int,int>P;
typedef long long ll;

int main(){
	ll n,K;cin>>n>>K;
	cout<<(n-K+1+n)*K/2+1<<endl;
}