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