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