#include <bits/stdc++.h>
using namespace std;
namespace B {
void sol() {
  long long n, k;
  while (cin >> n >> k) {
    if (k >= n / 2) {
      cout << n * (n - 1) / 2;
    } else {
      cout << (k * (2 * n - k - 1) / 2) + (n - 2 * k) * k + k * (k - 1) / 2;
    }
    cout << endl;
  }
}
}  // namespace B
int main() {
  ios::sync_with_stdio(0);
  ;
  B::sol();
}
