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