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