#include <bits/stdc++.h>
int main() {
  long long n, i;
  scanf("%lld%lld", &n, &i);
  if (n - 2 * i >= 0) {
    printf("%lld", n + i * (n - i) + n - 2 * i);
  } else {
    printf("%lld", n + i * (n - i) + 2 * i - n);
  }
}
