module main;
// http://rsujskf.s602.xrea.com/?yukicoder_106 より
import std;

// エラトステネスの篩によってm以上n未満の素数の表を返す
T[] sieve(T)(T m, T n)
{
	T[] primes = new T[](n);
	foreach (i; 2 .. n)
		primes[i] = i;
	for (T i = 2; i*i < n; ++i)
		if (primes[i])
			for (T j = i*i; j < n; j += i)
				primes[j] = 0;
	return primes.remove!(a => a < m).array;
}

void main()
{
	// 入力
	int N, K;
	readln.chomp.formattedRead("%d %d", N, K);
	// 答えの計算
	auto cnt = new int[](N + 1);
	auto primes = sieve(2, N + 1);
	foreach (p; primes) {
		for (int j = p; j <= N; j += p)
			cnt[j]++;
	}
	// 答えの出力
	writeln(cnt.count!(a => a >= K));
}