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