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