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