#include<bits/stdc++.h>
using lint=long long;
int main(){
    std::cin.tie(nullptr);std::ios_base::sync_with_stdio(false);
    std::cout.setf(std::ios_base::fixed);std::cout.precision(15);
    lint n,k;std::cin>>n>>k;
    lint ans=0;
    std::vector<lint>sieve(n+1);
    for(lint p=2;p<=n;p++){
        if(k-(k==1)<=sieve.at(p))ans++;
        if(sieve.at(p))continue;
        for(lint i=p;i<=n;i+=p){
            sieve.at(i)++;
        }
    }
    std::cout<<ans<<'\n';
}