#include<bits/stdc++.h>
using namespace std;
void solve1(int n,int k){
long long ans=0;
for(int i=1;i<=n;i++){
ans+=1ll*k%i;
}
printf("%lld\n",ans);
return;
//开long long 60分,不开 30分
}
void solve2(long long n,long long k){
long long ans=n*k;
for(long long l=1,r;l<=n;l=r+1){
if(k/l!=0) r=min(k/(k/l),n);
else r=n;
ans-=(k/l)*(r-l+1)*(l+r)/2;
}
printf("%lld\n",ans);
return;
//100分
}
int main(){
freopen("sumd.in","r",stdin);
freopen("sumd.out","w",stdout);
long long n,k;
scanf("%lld%lld",&n,&k);
//solve1(n,k);
solve2(n,k);
return 0;
}