#include <bits/stdc++.h>
const long long N = 10e8 + 7;
using namespace std;
int32_t main() {
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  long long n, k;
  cin >> n >> k;
  long long tt = n / 2;
  if (k >= tt)
    cout << (n * (n - 1)) / 2 << '\n';
  else {
    long long sum = 0;
    sum += (k * (2 * (n - 1) - (k - 1))) / 2;
    long long cnt = n - (2 * k);
    while (cnt--) sum += k;
    sum += (k * (k - 1)) / 2;
    cout << sum << '\n';
  }
}
