#include <bits/stdc++.h>
using namespace std;
int M = 1000000007;
map<string, long long int> b1;
int main() {
  ios ::sync_with_stdio(false);
  cin.tie(0);
  long long int n, k;
  cin >> n >> k;
  long long int c = max(n - 2 * k, 0ll);
  long long int a = n * (n - 1) / 2 - c * (c - 1) / 2;
  cout << a << endl;
}
