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