#include <bits/stdc++.h>
using namespace std;
inline int MAX(int a, int b) { return (a > b) ? a : b; }
inline int MIN(int a, int b) { return (a < b) ? a : b; }
int n, k;
long long ans;
void read() { cin >> n >> k; }
void compute() {
  int p = MIN(n / 2, k);
  ans = 0;
  for (int i = 0; i < p; ++i) {
    ans = ans + 2 * n - 1 - 2 * p;
  }
}
void write() { cout << ans << "\n"; }
int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  read();
  compute();
  write();
  return 0;
}
