#include <iostream>

using lli = long long int;

int main(void){
  lli n, k; scanf("%lld%lld", &n, &k);
  printf("%lld\n", k * (2 * n - k + 1) / 2 + 1);
  return 0;
}