#include <bits/stdc++.h>
using namespace std;
long long arr[100003];
int main() {
  long long i, tot = 0, x, y, pen;
  cin >> x >> y;
  pen = x - 1;
  for (i = 0; i < min(y, x / 2); ++i) {
    tot += pen;
  }
  for (i = min(y, x / 2); i < x - min(y, x / 2); ++i) {
    tot += min(y, x / 2);
  }
  cout << tot << endl;
}
