#include <bits/stdc++.h>
using namespace std;
using ll = long long;

int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    int n, m;
    cin >> n >> m;
    const int c = max(2 * n, 2 * m);
    vector<ll> imos(c + 1), d(c + 1);
    for(int i = 2; i <= m; i++){
        for(int j = 0; j <= n; j += i){
            imos[j + 1]++;
            imos[j + i]--;
            d[j + i] -= i - 1;
        }
    }
    ll cur = 0, ans = 0, df = 0;
    for(int i = 1; i <= n; i++){
        imos[i + 1] += imos[i];
        cur += imos[i] + d[i];
        ans = max(ans, cur);
    }
    cout << ans << '\n';
}