#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;
    auto f = [&](int x){
        ll res = 0;
        for(int i = 2; i <= m; i++) res += x % i;
        return res;
    };
    ll ans = f(n);
    int l = max(l, m - 50);
    int r = min(n, m + 50);
    for(int i = l; i <= r; i++) ans = max(ans, f(i));
    cout << ans << '\n';
}