#include <bits/stdc++.h>
int main() {
  int n, m, i;
  long long ret = 0;
  scanf("%d %d", &n, &m);
  for (i = 0; i < m && i < n - i - 1; i++) {
    ret += (n - i - i - 2) * 2 + 1;
  }
  printf("%I64d\n", ret);
  return 0;
}
