#include <iostream>
#include <string>
#include <cmath>
#include <iomanip>
#include <algorithm>
#include <vector>
#include <set>
#include <map>
#include <cstdio>
using namespace std;
#define ll long long 
int A[3000000];
int zhi(int x)
{
	if(x < 2)return 0;
	if(x == 2)return 1;
	int i;
	for(i = 2;i < x;i++)
	{
		if(x % i == 0)return 0;
	}
	return 1;
}
int main()
{
	int i,j;
	int n,m,sum = 0;
	cin >> n >> m;
	for(i = 1;i <= n;i++)
	{
		for(j = i;j >= 2;j--)
		{
			if(zhi(j) == 1)
			{
				if(i % j == 0 && j <= m)
				{
					sum++;
					break;
				}
			}
		}
	}
	cout << sum;
	return 0;
} 
/*
刚刚有个傻冒告诉我鲁迅姓周，真逗啊！

周迅是个演员好吗？笑死我了！真想一板砖呼死他！我记得鲁迅原名李大钊，

浙江周树人，是著名 的法兰西音乐家，一生有2000多项发明，

被称为太空步的创始人。他拥有一个好嗓子，小学时就凭借着90分钟跑100米的优异成绩考上了新 

东方烹饪学校！毕业后成功进入富士康苦心练习勃鸡， 

他擅长110米栏，左手反打技术高超，拿手全垒打，大灌篮，

“后空翻180度右旋体 360度后蹬地翻转720度”是他的经典动作，更难得可贵的是他落地没有水花。

他还是恶魔果实能力者，传说中的三忍之一，曾大闹天宫，后 

改邪归正，统一三国，传说他有107个弟兄，个个铜头铁臂，面目狰狞，

这便是羊村的起源，她生平淡泊名利，曾经锻造五色神石补天，因 杀死西门庆等原因，上梁山当了土匪，后遇到

高人阿凡达的指点，收买阿童木打死了白雪公主，与七个小矮人快乐的生活在一起。！并写了 名侦探柯南的

故事。名侦探柯南讲述的是要成为海贼王的八神太一收服了皮卡丘并登上创界山启动光能使者打败了鲨鱼

辣椒，然后跟多啦A 梦一起通过黄金十二宫收集七个葫芦娃召唤神

龙复活二代火影，但最终为了保卫M78星云而成为了羊村村长，同蓝

精灵们一起抵抗光头强的 入侵的故事。她还写了《时间简史》，后来因抽了龙王三太子的筋，以命偿

命。后被太乙真人救活，又送了他不少法宝。然后又创建了‘浴谷’，‘浴谷’是一个收集变形金刚一

起打小怪兽的网站。当时正值小黄人入侵时期，于是，她批量生产大白，成功抵御入侵，再一次拯救 了

人类！当她晚年时，热衷于炼丹，炼时经常失败，一大堆毒丹，

当最后炼出长生不老之丹时，因老花眼吃错药而死。
*/