#include<bits/stdc++.h>
using lint=long long;
using real=long double;
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,p;std::cin>>n>>p;
    std::vector<lint>sieve(n+1);
    for(lint i=2;i*i<=n;i++){
        if(sieve.at(i))continue;
        for(lint j=i*i;j<=n;j+=i){
            sieve.at(j)=true;
        }
    }
    if(n<2*p&&!sieve.at(p)){
        std::cout<<1<<'\n';
        return 0;
    }
    lint ans=0;
    for(lint i=2;i<=n;i++){
        ans+=2*i<=n||sieve.at(i);
    }
    std::cout<<ans<<'\n';
}