样例都过不了
#include <bits/stdc++.h>
#define rep(i,a,b) for(long long i=a;i<=b;++i)
#define per(i,a,b) for(long long i=a;i>=b;--i)
namespace FIO{inline void read(long long &x){x=0;long long f=1;char c=getchar();for(;!isdigit(c);){if
(c=='-')f=-1;c=getchar();}for(;isdigit(c);){x=(x<<1)+(x<<3)+c-48;c=getchar();}x*=f;}void
print(long long x){if(x<0){x=-x;putchar('-');}if(x>9){print(x/10);}putchar(x%10+48);}}
using namespace FIO;
using namespace std;
signed main(){
long long n,k;
read(n);
read(k);
long long res=n*k;
for(long long l=1,r;l<=n;l=r+1){
r=k/l?min(n,k/(k/l)):n;
res-=(k/l)*(l+r)/2*(r-l+1);
}
print(res);
putchar('\n');
return 0;
}