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