#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, m, v, i, sum = 0;
  scanf("%d %d", &n, &v);
  if (n - 1 <= v) {
    printf("%d", n - 1);
    return 0;
  }
  sum += v;
  for (i = 2; i <= n - v; i++) {
    sum += i;
  }
  printf("%d", sum);
  return 0;
}
