#include <bits/stdc++.h>
using namespace std;
int main() {
  ios::sync_with_stdio(false);
  int n, k, i, j;
  long long res = 0;
  cin >> n >> k;
  for (i = 1; i <= fmin(n, k); i++) {
    res += n - i;
  }
  for (i = k + 1; i <= n; i++) res += fmin(k, n - i);
  cout << res;
}
