#include <bits/stdc++.h>
using namespace std;
const int N = 1e5 + 5;
int n, k, a[N], t[N];
void upd(int pos) {
  for (int i = pos; i <= n; i |= i + 1) {
    t[i]++;
  }
}
int get(int pos) {
  int cur = 0;
  for (int i = pos; i >= 1; i &= i + 1, i--) {
    cur += t[i];
  }
  return cur;
}
int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  cin >> n >> k;
  for (int i = 1; i <= n; i++) {
    a[i] = i;
  }
  k = min(k, (n + 1) / 2);
  for (int i = 1; i <= k; i++) {
    swap(a[i], a[n - i + 1]);
  }
  long long ans = 0;
  for (int i = 1; i <= n; i++) {
    ans += get(n) - get(a[i]);
    upd(a[i]);
  }
  cout << ans;
}
