#include <bits/stdc++.h>
using namespace std;
long long ans[10000005];
int main(int argc, char const *argv[]) {
  int a, n;
  scanf("%d%d", &a, &n);
  memset(ans, 127, sizeof(ans));
  for (int i = 1; i <= 4000; ++i) {
    for (int j = a / (i * i); j * (i * i) <= a + n - 1; ++j) {
      ans[j * (i * i)] = min(ans[j * (i * i)], (long long)j);
    }
  }
  long long res = 0;
  for (int i = a; i <= a + n - 1; ++i) {
    res += ans[i];
  }
  printf("%I64d\n", res);
}
