#include <bits/stdc++.h>
using namespace std;
int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  int n, i, j, k, t;
  cin >> n >> k;
  long long s = 0;
  if (k >= n / 2) {
    for (i = n - 1; i >= 1; i--) s = s + i;
    cout << s << endl;
  } else {
    for (i = n - 1; i >= n - k; i--) s = s + i;
    for (i = 1; i < k; i++) s = s + i;
    s = s + (n - 2 * k) * k;
    cout << s << endl;
  }
  return 0;
}
