#include <bits/stdc++.h>
int main() {
  long long n, k;
  scanf("%I64d%I64d", &n, &k);
  if (k >= n / 2)
    printf("%I64d", n * (n - 1) / 2);
  else
    printf("%I64d", (2 * n - 2 * k - 1) * k);
  return 0;
}
