#include <bits/stdc++.h>
using namespace std;
int main() {
  int i, n, v, y, sum = 0;
  cin >> n >> v;
  n--;
  if (v >= n) {
    cout << n << endl;
    return 0;
  } else {
    sum += v;
    for (int i = 1; i <= n - v; i++) sum += (i + 1);
    cout << sum << endl;
  }
}
