import std.stdio,
       std.string,
       std.conv;

void main() {
  int[] buf = readln.chomp.split.to!(int[]);
  int N = buf[0], K = buf[1];

  if (K == 0) {
    writeln(N * N);
    return;
  }
  int ans;
  for (int i = N; i >= K; i--) {
    if (K % i == 0) continue;
    ans += (i - K);
    if (K % i + i <= N) {
      for (int j = K; j <= i - 1; j++) {
        for (int k = 1; k <= N / i; k++) {
          ans += (j % i + i * k <= N).to!(int);
        }
      }
    }
  }

  writeln(ans);
}
