#include <iostream>
#include <cassert>
using namespace std;

long long n,k;

int main(){
	cin>>n>>k;
	assert(1<=k&&k<=n&&n<=1000000000);
	cout<<(2*n-k+1)*k/2+1<<endl;
}