#include<stdio.h>
int main(void){
int a,b,c,d,e,f,g;
d=0;
g=0;
f=0;
scanf("%d""%d",&a,&b);
for(c=b;c<a+1;c++){ 
    d=0;
    g=0;
d=(c*c-c)/2;
for (e=0;e<c;e++)
{
g=g+a-e;
}
  
 
f=f+g-d+1;
}

printf("%d",f+1);
}