#include <bits/stdc++.h>

using namespace std;

#define REP(i,n) for(int i=0; i<(int)(n); i++)
#define FOR(i,b,e) for (int i=(int)(b); i<(int)(e); i++)
#define ALL(x) (x).begin(), (x).end()

const double PI = acos(-1);

long long solve(long long n, long long k) {
  return 1 + (2 * n - k + 1) * k / 2;
}

int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);

  long long n, k;
  cin >> n >> k;
  cout << solve(n, k) << endl;
  
  return 0;
}