#include <bits/stdc++.h>
using namespace std;
int main() {
  long long int ans, i, j, k, l, n, m, a[100005];
  cin >> n >> k;
  for (i = 1; i <= n; i++) a[i] = i;
  for (i = 1; i <= k && i <= n; i++) {
    l = a[i];
    a[i] = a[n - i + 1];
    a[n - i + 1] = l;
  }
  ans = 0;
  for (i = 1; i <= k && i <= n; i++) ans += n - i;
  for (; i <= n - k; i++) ans += k;
  for (; i <= n; i++) ans += n - i;
  cout << ans << endl;
  return 0;
}
