#include <bits/stdc++.h>
int main() {
  long N, X, sum;
  scanf("%ld %ld", &N, &X);
  sum = 0;
  sum += N - X;
  while ((N - X - 1)) {
    sum += 3 * (N - X - 1);
    N--;
  }
  printf("%ld", sum);
}
