#include <bits/stdc++.h>
using namespace std;
bool check(vector<long long int> v1, vector<long long int> v2) {
  for (long long int i = 0; i < v1.size(); i++) {
    if (v1[i] != v2[i]) {
      return false;
    }
  }
  return true;
}
int main() {
  long long int a;
  long long int b;
  cin >> a >> b;
  if (a == 1) {
    cout << "0";
    return 0;
  } else {
    if (b > a / 2) {
      b = a / 2;
    }
    if (b == a / 2) {
      cout << (a * (a - 1)) / 2;
    } else {
      cout << 2 * a * b - 2 * b * b - b;
    }
  }
  return 0;
}
