#include<stdio.h>
#include<stdlib.h>

int main(void){
	int N,K;
	scanf("%d%d",&N,&K);
	char *num;
	num=(char *)calloc(N+1,sizeof(char));

	int res=0;
	int i;
	for(i=2;i<=N;i++){
		if(num[i]==0){
			int j;
			for(j=i;j<=N;j+=i){
				num[j]++;
			}
		}
		res+=(num[i]>=K);
	}
	printf("%d\n",res);
	free(num);
	return 0;
}