char d[2000001];

main(){
	int n,k;
	scanf("%d%d",&n,&k);
	for(int i=2;i<=n;++i){
		if(d[i]==0){
			for(int j=i;j<=n;j+=i){
				d[j]+=1;
			}
		}
	}
	int a=0;
	for(int i=2;i<=n;++i){
		a+=d[i]>=k;
	}
	printf("%d",a);
}