#include <stdio.h>
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf 1000000


int main(){
	
	int N,K;
	cin>>N>>K;
	
	vector cnt(N+1,0);
	
	for(int i=2;i<=N;i++){
		if(cnt[i]==0){
			for(int j=i;j<=N;j+=i)cnt[j] ++;
		}
	}
	int ans= 0;
	for(int i=2;i<=N;i++){
		if(cnt[i]>=K)ans++;
	}
	cout<<ans<<endl;
	
	return 0;
}