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