#include <iostream>
using namespace std;

long long n,k;

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