#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, v;
  cin >> n >> v;
  if (v < n) {
    int s = v;
    int h = n - v;
    cout << ((h + 1) * h / 2 + v - 1);
  } else
    cout << n - 1;
}
