#include <bits/stdc++.h>
using namespace std;
long long n, v;
long long a[1000];
long long f[1000];
void INP() { cin >> n >> v; }
void solve() {
  if (v >= n - 1)
    cout << n - 1;
  else
    cout << v - 1 + (n - v) * (n - v + 1) / 2;
}
int main() {
  INP();
  solve();
  return 0;
}
