#include <bits/stdc++.h>
int main() {
  long long n, k, ans;
  scanf("%lld %lld", &n, &k);
  if (k >= 1) ans = 1;
  if (k >= 2) ans = ans + n * (n - 1) / 2;
  if (k >= 3) ans = ans + n * (n - 1) * (n - 2) / 3 / 2 * 2;
  if (k >= 4) ans = ans + n * (n - 1) * (n - 2) * (n - 3) / 4 / 3 / 2 * 9;
  printf("%lld\n", ans);
}
