//#pragma GCC optimize("O3,unroll-loops")
//#pragma GCC target("avx2,bmi,bmi2,lzcnt,popcnt")
//#pragma GCC optimize("trapv")
#include <bits/stdc++.h>
//#define int long long 
using namespace std;

const int N = 2e5+5;
vector<int> start[N];
signed main()
{
	ios_base::sync_with_stdio(0);
	cin.tie(0);

	int n, m;
	cin >> n >> m;
	for(int i=1; i<=m; i++)
	{
		for(int j=i; j<=n; j+=i)
			start[j].push_back(i);
	}

	long long now = 0, ans = 0;
	for(int i=1; i<=n; i++)
	{
		for(int j: start[i])
			now -= j-1;
		now += m - start[i].size();
		ans = max(ans, now);
		//cout << i << ": " << start[i].size() << " " << now << "\n";
	}
	cout << ans << "\n";

}