#include <bits/stdc++.h>
using namespace std;
long long int n, k;
long long int dr[5] = {1, 0, 1, 2, 9};
long long int ncr(long long int n, long long int r) {
  long long int ans = 1;
  for (long long int i = n - r + 1; i <= n; i++) {
    ans *= i;
  }
  for (long long int i = 1; i <= r; i++) {
    ans /= i;
  }
  return ans;
}
int main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  ;
  long long int ans = 0;
  cin >> n >> k;
  for (long long int i = 0; i <= k; i++) {
    long long int p = ncr(n, i);
    ans += p * dr[i];
  }
  cout << ans;
  return 0;
}
