#include <iostream>
using namespace std;
long long N,K;

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