#include<stdio.h>

int main()
{
  long N, K, i, j;
  long min_n, max_n = 0;
  long sum = 0;
  
  scanf("%ld %ld", &N, &K);
  
  for(i = K; i <= N + 1 ; i++)
  {
   for(j = 0; j < i; j++)
    {
      min_n += j;
      max_n += N - j;
    }
    sum += max_n - min_n + 1;
    
    min_n = 0;
    max_n = 0;
  }
  
  printf("%ld", sum);

  return 0;
}