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

int main(void){
	int N,K;
	scanf("%d%d",&N,&K);
	char *num;
	num=(char *)malloc(sizeof(char)*(N+1));
	int i;
	for(i=0;i<=N;i++) num[i]=0;

	for(i=2;i<=N;i++){
		if(num[i]==0){
			int j;
			for(j=i;j<=N;j+=i){
				num[j]++;
			}
		}
	}

	int res=0;
	for(i=2;i<=N;i++) res+=(num[i]>=K);

	printf("%d\n",res);
	free(num);
	return 0;
}