#include <bits/stdc++.h>
using namespace std;
typedef pair<int, int> P;

vector<P> factorize(int n) {
    vector<P> res;
    
    for (int i=2; i*i<=n; i++) {
        int cnt = 0;
        
        while (n%i==0) {
            n /= i;
            cnt++;
        }
        
        if (cnt>0) res.push_back(P(i, cnt));
    }
    
    if (n>1) res.push_back(P(n, 1));
    
    return res;
}

int main() {
    int N, K; cin >> N >> K;
    int ans = 0;
    
    for (int i=2; i<=N; i++) {
        vector<P> fct = factorize(i);
        
        if (fct.size()>=K) ans++;
    }
    
    cout << ans << endl;
}