#include <bits/stdc++.h>
using namespace std;
int n, k;
long long ans;
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  cin >> n >> k;
  if (k < n / 2) {
    for (int i = n, j = 1; j <= k; i--, j++) ans += 1LL * (i - 1);
    ans += 1LL * (n - 2 * k) * k;
    ans += (1LL * k * (k - 1)) / 2;
  } else
    ans += (1LL * n * (n - 1)) / 2;
  cout << ans << endl;
}
