#include <iostream>

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