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

void main()
{
	auto input = split( readln() );
	long N = to!int(input[0]), K = to!int(input[1]);
	
	int a = 1, b = 1, cnt = 0;
	while (a <= N) {
		b = 1;
		while (b <= N) {
			if (a % b >= K) { cnt += 1; }
			b += 1;
		}
		a += 1;
	}
	writeln(cnt);
}