#include <bits/stdc++.h>
using namespace std;
int n, k;
long long c(int a, int b) {
  long long res = 1;
  for (int i = 1; i <= b; ++i) {
    res = res * (a + 1 - i) / i;
  }
  return res;
}
int main() {
  scanf("%d%d", &n, &k);
  long long ans = 1;
  for (int i = 1; i <= k; ++i) {
    if (i == 2) {
      ans += c(n, 2);
    }
    if (i == 3) {
      ans += 2 * c(n, 3);
    }
    if (i == 4) {
      ans += 9 * c(n, 4);
    }
  }
  printf("%lld\n", ans);
  return 0;
}
