#include <bits/stdc++.h>
long long c[10000005];
int main() {
  int a, n;
  scanf("%d %d", &a, &n);
  for (int i = 1; i * i < 10000005; i++) {
    int j = 1;
    while (j * i * i < 10000005) {
      c[j * i * i] = j;
      j++;
    }
  }
  long long sum = 0;
  for (int i = a; i < a + n; i++) sum += c[i];
  printf("%I64d\n", sum);
  return 0;
}
