#include<stdio.h>
#include<math.h>
int main(){
long long n,k,sum;
scanf("%lld %lld",&n,&k);
sum=n*k;
int i;
int gx;
for(i=1;i<=n;i=gx+1){
gx = k/i;
if(gx!=0){
if((k/(k/i))>n){
gx=n;
}
else{
gx=k/(k/i);
}
}
else{
gx=n;
}
sum = sum - k/i * (i + gx)* (gx - i + 1) / 2;
}
printf("%lld",sum);
return 0;
}