#include <stdio.h>
int main(void){
    int n,k,count=0;
    scanf("%d%d",&n,&k);
    for(int h=k; h<n+1; h++){
        int max=0,min=0;
        for(int i=0; i<h; i++){
            min+=i;
            max+=(n-i);
        }
        count += max-min+1;
    }
    count+=1;
    
    
   
    printf("%d",count);
    return 0;
}
