#include using namespace std; int main() { std::ios_base::sync_with_stdio(false); std::cin.tie(nullptr); int n, m; cin >> n >> m; long long ans = 0; for (int x = 1; x <= n; x++) { long long base = (long long)x * m; long long sum = 0; for (long long l = 1; l <= min(m, x);) { long long v = x / l; long long r = x / v; r = min(r, m); long long t = (l + r) * (r - l + 1) / 2; sum += t * v; l = r + 1; } ans = max(ans, base - sum); } cout << ans << "\n"; }