#include <iostream>
using namespace std;
int main(){
	long long N, K;
	cin >> N >> K;
	cout << N * K - K * (K - 1) / 2 + 1 << endl;
}