#include <bits/stdc++.h>
using namespace std;
template <class T>
bool umin(T& a, T b) {
  if (a > b) {
    a = b;
    return 1;
  }
  return 0;
}
template <class T>
bool umax(T& a, T b) {
  if (a < b) {
    a = b;
    return 1;
  }
  return 0;
}
int main() {
  int n, k, swp = 0;
  long long ans = 0;
  scanf("%d%d", &n, &k);
  int st = 1, en = n;
  for (int i = 1; i <= k and st < en; i++) {
    ans += (st - 1);
    ans += (en - 1);
    st++;
    en--;
    swp++;
  }
  while (st <= en) {
    ans += swp;
    st++;
  }
  printf("%lld", ans);
  return 0;
}
