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