#include <bits/stdc++.h>

using namespace std;

#define LL long long

#define int long long

LL ans;

int p, x = , n, m, k, base, skipper; 

LL Get_sum()//高斯求和,从p项开始公差为x

{

    int y = x - ;

    int base = (k % p);

    int end = max(base % y, base - (m - p) * y);

    skipper = ((base - end) / y) + ;

    return ((LL)(base + end) * (LL)skipper) >> ;

}

void init()//分段设x值

{

    if(k > ) x = ;

    else if(k > ) x = ;

    else if(k > ) x = ;

    else if(k > ) x = ;

    else x = ;

}

signed main()

{

    scanf("%lld%lld", &n, &k);

    m = min(n, k);

    init();

    for(p = ; p <= m; p ++)

    {

        if(p == (k / x) + )

        {

            ans += Get_sum();

            p += (skipper - );//统计加了多少项

            x -= ;

        }

        else ans += (k % p);

    }

    if(n > k) ans += (LL) (n - k) * (LL) (k);

    printf("%lld", ans);

    return ;

}