//#include <atcoder/all>
#include <bits/stdc++.h>
#include <cmath>
using namespace std;
//using namespace atcoder;
using ll = long long;
#define all(A) A.begin(),A.end()
using vll = vector<ll>;
#define rep(i, n) for (long long i = 0; i < (long long)(n); i++)
using Graph = vector<vector<ll>>;
Graph G;
vll E;
vector<bool> seen;

int main() {
	ll N,K;
	cin>>N>>K;
	vll P(N+2,0);
	for(ll i=2;i<=N;i++){
		if(P[i]==0){
			for(ll j=i;j<=N;j+=i){
				P[j]++;
			}
		}
	}
	ll an=0;
	rep(i,N+1){
		if(P[i]>=K)an++;
	}
	cout<<an<<endl;
	
}