#include <stdio.h>

int main(){
  int n;
  int k;
  int k_kaijo;
  int sum;
  int result = 0;
  scanf("%d", &n);
  scanf("%d", &k);
  for(int i = k; i < n + 1; i++){
    k_kaijo = 1;
    sum = 1;
    
    for(int j = 1; j < i + 1; j++){
      k_kaijo = k_kaijo * j;
    };
    for(int j = 0; j < i; j++){
      sum = sum * (n + 1 - j);
    };
    result = result + (sum / k_kaijo);
  };
  
  printf("%d", result);
  
  return 0;
}