#include <bits/stdc++.h>
int n, v, ans;
int main() {
  scanf("%d%d", &n, &v);
  n--;
  if (v > n) v = n;
  ans = v;
  n -= v;
  for (int i = 2; i; i++) {
    if (!n) break;
    n--;
    ans += i;
  }
  printf("%d\n", ans);
  return 0;
}
