1 #include <bits/stdc++.h>
2 using namespace std;
3 typedef long long ll;
4 typedef double db;
5 #define INF 0x3f3f3f3f
6 #define _for(i,a,b) for(int i = (a);i < b;i ++)
7 #define _rep(i,a,b) for(int i = (a);i > b;i --)
8 #define mod 20100403
9
10 inline ll read()
11 {
12 ll ans = 0;
13 char ch = getchar(), last = ' ';
14 while(!isdigit(ch)) last = ch, ch = getchar();
15 while(isdigit(ch)) ans = (ans << 1) + (ans << 3) + ch - '0', ch = getchar();
16 if(last == '-') ans = -ans;
17 return ans;
18 }
19 inline void write(ll x)
20 {
21 if(x < 0) x = -x, putchar('-');
22 if(x >= 10) write(x / 10);
23 putchar(x % 10 + '0');
24 }
25
26 ll N,K;
27 int main()
28 {
29 N = read();
30 K = read();
31 ll ans = 0,t,r;
32 for(ll l = 1;l < N+1;l = r+1)
33 {
34 t = K/l;
35 if(!t)
36 r = N;
37 else
38 r = min(K/t,N);
39 ans -= (t * (r - l + 1) * (l + r)/2);
40 }
41 write(ans + N*K);
42 return 0;
43 }