#include<cstdio>#defineintlonglongtemplate<typenameT>inline T getmin(T x, T y){return x > y ? y : x;}signedmain(){longlong n, k, ans =0;scanf("%lld %lld",&n,&k);for(longlong l =1, r =0, t; l <= n; l = r +1) r =(t = k / l)?getmin(k / t, n): n, ans -= t *(r - l +1)*(l + r)>>1;printf("%lld\n", ans = ans + n * k);}