#include<bits/stdc++.h>
using namespace std;

int main(){
    long long n,k;
    cin>>n>>k;
    long long cnt=n*(n+1)/2;
    long long cntrev=(n-k)*(n-k+1)/2;
    cout<<cnt-cntrev+1<<endl;

    
    
}