#include <bits/stdc++.h>
using namespace std;
int len = 0;
void ref(int n, int l, int r) {
  n--;
  len += l;
  if (n == 0) {
    l--;
    if (l == 0) {
      return;
    }
    n = ++r;
  }
  ref(n, l, r);
}
int main(void) {
  int n, x;
  int g;
  cin >> n >> x;
  len += x;
  if ((double)(n) / x == 2.0) {
    len = 3 * x;
  } else {
    ref(1, n - x, 1);
  }
  cout << len << endl;
  return 0;
}
