#include <bits/stdc++.h>
using namespace std;
long long n, v, sum, res, ans;
int main() {
  cin >> n >> v;
  long long i = 1;
  --n;
  long long res = min(n, v - 1);
  ans += res;
  while (n > 0) {
    if (res >= n) break;
    n--;
    ans += i;
    i++;
  }
  cout << ans << endl;
  return 0;
}
