#include <stdio.h>
int main(void){
    int N, K, min=0, max=0, sum[200010]={} , i, j;

    scanf("%d%d" , &N, &K);
    for(j=K ; j<=N+1 ; j++){
        if(j%2==0){
            min=j*(j-1)/2;
        }else{
            min=j*(j-1)/2;
        }
        sum[j]=j*N-min*2+1;
    }
    i=0;
    for(j=K ; j<=N+1 ; j++){
        //printf("%d\t%d\n" ,j ,sum[j]);
        i=i+sum[j];
    }

    printf("%d" ,i);
    return 0;
}
