a[1<<22];s,n,k,j;main(i){for(scanf("%d%d",&n,&k);i++<n;s+=a[i]>=k)for(j=n/i*i;!a[i];j-=i)a[j]++;s=!printf("%d",s);}