#include <bits/stdc++.h>
using namespace std;
int n, k;
int arr[100009];
bool done[100009];
int main() {
  cin >> n >> k;
  for (int i = 0; i < n; i++) arr[i] = i;
  long long ans = 0;
  for (int i = 0; i < min(k, n / 2); i++) {
    swap(arr[i], arr[n - i - 1]);
    done[i] = 1;
    done[n - i - 1] = 1;
  }
  for (int i = 0; i < n; i++) {
    if (done[i]) {
      ans += i;
    } else {
      ans += min(k, n / 2);
    }
  }
  cout << ans << endl;
}
