/* -*- coding: utf-8 -*-
 *
 * 2880.cc:  No.2880 Max Sigma Mod - yukicoder
 */

#include<cstdio>
#include<algorithm>

using namespace std;

/* constant */

const int MAX_N = 200000;
const int MAX_M = 200000;

/* typedef */

using ll = long long;

/* global variables */

ll ds[MAX_N + 1], ss[MAX_N + 1];

/* subroutines */

/* main */

int main() {
  int n, m;
  scanf("%d%d", &n, &m);

  for (int x = 1; x <= n; x++) ds[x] = m;

  for (int i = 1; i <= m; i++)
    for (int x = i; x <= n; x += i) ds[x] -= i;

  for (int x = 1; x <= n; x++) ss[x] = ss[x - 1] + ds[x];
  
  ll maxs = *max_element(ss + 1, ss + n + 1);
  printf("%lld\n", maxs);
  
  return 0;
}