#include<iostream>

using namespace std;

int main(){

    int N, K;
    cin>> N>> K;

    int ans=0;
    if(K==1){
        for(int i=1; i<=N-K-1; i++){
            ans+=i;
        }
    }else{
        for(int i=1; i<=N-K; i++){
            ans+=i;
        }
        ans++;
    }

    cout<< ans<< endl;

    return 0;
}