#include <bits/stdc++.h>
int main() {
  int x, n, sum, i;
  scanf("%d%d", &n, &x);
  i = n - x - 1;
  sum = x;
  while (i != 0) {
    sum += (x + (n - x));
    i--;
  }
  printf("%d", sum);
  return 0;
}
