#include<bits/stdc++.h>
#define int long long
#define maxn 1000000+5
#define maxm 2000000+5
using namespace std;
int n,m,s,l;
int ans=1;
int a[maxn];
int v[maxm];
int p[maxm];
signed main()
{
    scanf("%lld %lld",&n,&m);
    for(int i=1;i<=20;i++)
	{
        for(int j=1;j<=m;j++)
		{
			if(!p[i*j])
			{
				l+=(p[i*j]=1);
			}
		}	
		a[i]=l;
    }
    for(int i=2;i<=n;i++)
	{
		if(!v[i])
		{
        	s=1;l=0;
        	while(s*i<=n)
			{
				l+=(v[s*=i]=1);
			}
        	ans+=a[l];
   		}
	}
    printf("%lld\n",ans);
    return 0;
}

maxm开到20000000+5就MLE 开到2000000+5就RE,在线等,很急