#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, k;
  scanf("%d %d", &n, &k);
  if (k >= n / 2) {
    printf("%I64d", 1LL * n * (n - 1) / 2);
    return 0;
  }
  int c = n;
  long long ans = 0;
  while (k--) {
    ans += c - 1 + c - 2;
    c -= 2;
  }
  printf("%I64d", ans);
  return 0;
}
