#include <bits/stdc++.h>
using namespace std;
#define rep(i,n) for(int i = 0;i<((int)(n));i++)
#define reg(i,a,b) for(int i = ((int)(a));i<=((int)(b));i++)
#define irep(i,n) for(int i = ((int)(n)-1);i>=0;i--)
#define ireg(i,a,b) for(int i = ((int)(b));i>=((int)(a));i--)
typedef long long ll;

/*
*/

ll n,k,ans=0;

void init(){
	cin>>n>>k;
}

int main(void){
	init();
	ans=n*(n+1)/2-(n-k)*(n-k+1)/2+1;
	cout<<ans<<endl;
	return 0;
}