//Lib
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<cmath>
#include<ctime>
#include<iostream>
#include<algorithm>
#include<vector>
#include<string>
#include<queue>
#include<stack>
#include<set>
#include<map>
using namespace std;
//Macro
#define rep(i,a,b) for(int i=a,tt=b;i<=tt;++i)
#define drep(i,a,b) for(int i=a,tt=b;i>=tt;--i)
#define erep(i,e,x) for(int i=x;i;i=e[i].next)
#define irep(i,x) for(__typeof(x.begin()) i=x.begin();i!=x.end();i++)
#define read() (strtol(ipos,&ipos,10))
#define sqr(x) ((x)*(x))
#define pb push_back
#define PS system("pause");
typedef long long ll;
typedef pair<int,int> pii;
const int oo=~0U>>1;
const double inf=1e100;
const double eps=1e-6;
string name="", in=".in", out=".out";
//Var
ll n,k,ans,tmp,l,r;
void Work()
{
cin>>n>>k;
rep(i,1,n)
{
tmp=k/i;l=k/(tmp+1)+1;r=tmp?k/tmp:n;
if(r>=n)r=n;
ans+=(r-l+1)*k-(r-l+1)*tmp*(l+r)/2;
i=r;
}
cout<<ans<<endl;
}
int main()
{
// freopen((name+in).c_str(),"r",stdin);
// freopen((name+out).c_str(),"w",stdout);
// Init();
Work();
return 0;
}
Ly9MaWIKI2luY2x1ZGU8Y3N0ZGlvPgojaW5jbHVkZTxjc3RyaW5nPgojaW5jbHVkZTxjc3RkbGliPgojaW5jbHVkZTxjbWF0aD4KI2luY2x1ZGU8Y3RpbWU+CiAKI2luY2x1ZGU8aW9zdHJlYW0+CiNpbmNsdWRlPGFsZ29yaXRobT4KI2luY2x1ZGU8dmVjdG9yPgojaW5jbHVkZTxzdHJpbmc+CiNpbmNsdWRlPHF1ZXVlPgojaW5jbHVkZTxzdGFjaz4KI2luY2x1ZGU8c2V0PgojaW5jbHVkZTxtYXA+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7Ci8vTWFjcm8KI2RlZmluZSByZXAoaSxhLGIpICBmb3IoaW50IGk9YSx0dD1iO2k8PXR0OysraSkKI2RlZmluZSBkcmVwKGksYSxiKSBmb3IoaW50IGk9YSx0dD1iO2k+PXR0Oy0taSkKI2RlZmluZSBlcmVwKGksZSx4KSBmb3IoaW50IGk9eDtpO2k9ZVtpXS5uZXh0KQojZGVmaW5lIGlyZXAoaSx4KSAgIGZvcihfX3R5cGVvZih4LmJlZ2luKCkpIGk9eC5iZWdpbigpO2khPXguZW5kKCk7aSsrKQojZGVmaW5lIHJlYWQoKSAgKHN0cnRvbChpcG9zLCZpcG9zLDEwKSkKI2RlZmluZSBzcXIoeCkgICgoeCkqKHgpKQojZGVmaW5lIHBiICBwdXNoX2JhY2sKI2RlZmluZSBQUyAgc3lzdGVtKCJwYXVzZSIpOwp0eXBlZGVmIGxvbmcgbG9uZyAgIGxsOwp0eXBlZGVmIHBhaXI8aW50LGludD4gcGlpOwpjb25zdCBpbnQgb289fjBVPj4xOwpjb25zdCBkb3VibGUgaW5mPTFlMTAwOwpjb25zdCBkb3VibGUgZXBzPTFlLTY7CnN0cmluZyBuYW1lPSIiLCBpbj0iLmluIiwgb3V0PSIub3V0IjsKLy9WYXIKbGwgbixrLGFucyx0bXAsbCxyOwp2b2lkIFdvcmsoKQp7CiAgICBjaW4+Pm4+Pms7CiAgICByZXAoaSwxLG4pCiAgICB7CiAgICAgICAgdG1wPWsvaTtsPWsvKHRtcCsxKSsxO3I9dG1wP2svdG1wOm47CiAgICAgICAgaWYocj49bilyPW47CiAgICAgICAgYW5zKz0oci1sKzEpKmstKHItbCsxKSp0bXAqKGwrcikvMjsKICAgICAgICBpPXI7CiAgICB9ICAgCiAgICBjb3V0PDxhbnM8PGVuZGw7Cn0KaW50IG1haW4oKQp7Ci8vICBmcmVvcGVuKChuYW1lK2luKS5jX3N0cigpLCJyIixzdGRpbik7Ci8vICBmcmVvcGVuKChuYW1lK291dCkuY19zdHIoKSwidyIsc3Rkb3V0KTsKLy8gIEluaXQoKTsKICAgIFdvcmsoKTsKICAgIHJldHVybiAwOwp9