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