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

void fast_io() {
	ios_base::sync_with_stdio(false);
	cin.tie(nullptr);
}

int main() {
	fast_io();
	int n, m;
	cin >> n >> m;
	vector<long long> ans(n + 1);
	vector<long long> div_cnt(n + 1);
	for (int i = 1; i <= m; i++) {
		for (int j = i; j <= n; j += i) {
			div_cnt[j] += i;
		}
	}
	for (int i = 1; i <= n; i++) {
		ans[i] = ans[i - 1] + m - div_cnt[i];
	}
	cout << *max_element(ans.begin(), ans.end()) << '\n';
}