#include <bits/stdc++.h>
using namespace std;
int main() {
  long long int n, k;
  cin >> n >> k;
  if (n & 1) {
    if (k >= n / 2) {
      long long int temp = ((n - 1) * n) / 2;
      cout << temp;
    } else {
      long long int temp = ((n - 1) * n) / 2 - ((n - 1 - k) * (n - k)) / 2 +
                           (n - 2 * k) * k + ((k) * (k - 1)) / 2;
      cout << temp;
    }
  } else {
    if (k >= n / 2) {
      long long int temp = ((n - 1) * n) / 2;
      cout << temp;
    } else {
      long long int temp = ((n - 1) * n) / 2 - ((n - 1 - k) * (n - k)) / 2 +
                           (n - 2 * k) * k + ((k) * (k - 1)) / 2;
      cout << temp;
    }
  }
}
