#include <bits/stdc++.h>
using namespace std;



int main(){
	long long N,K;
	cin>>N>>K;
	K=N-K;
	long long x = N*N+N-K*K-K;
	x/=2;
	cout<<x+1<<endl;
		
	
	return 0;
}