#include <bits/stdc++.h>
using namespace std;
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  ;
  int n, v, i, j, s = 1, t, c = 0;
  cin >> n >> v;
  t = v;
  if (v > n || v == n) {
    cout << n - 1 << "\n";
    return 0;
  }
  if (v == (n - 1)) {
    cout << v << "\n";
    return 0;
  }
  c += v;
  for (i = 2; i < n; i++) {
    if (s == n)
      break;
    else {
      s++;
      v--;
      if ((n - i) - v != 0) {
        c += ((t - v) * i);
        v += (t - v);
      } else {
        cout << c << "\n";
        return 0;
      }
    }
  }
  cout << c << "\n";
  return 0;
}
