#include <bits/stdc++.h>
using namespace std;
long long a, b, sum, n, m, i, l, j, kol, d, q, k, c, ans1, ans2, siz;
long long sprt[20][123123], logg[111111];
char t[111111], t2[1111];
string s1, s2, s3, s4;
int main() {
  cin >> n >> k;
  kol = n - 1;
  for (i = 1; i <= k && kol >= 1; i++) {
    sum += kol;
    sum += kol - 1;
    kol -= 2;
  }
  cout << sum;
}
