package main

import (
	"bufio"
	"fmt"
	"os"
	"strconv"
)

var sc = bufio.NewScanner(os.Stdin)
var rdr = bufio.NewReaderSize(os.Stdin, 1000000)

func main() {
	sc.Split(bufio.ScanWords)
	n, k := nextInt(), nextInt()
	t := 0
	for i := 2; i <= n; i++ {
		ns := factor(int(i))
		if len(ns) >= k {
			t++
		}
	}
	fmt.Println(t)
}

func nextLine() string {
	sc.Scan()
	return sc.Text()
}

func nextInt() int {
	i, _ := strconv.Atoi(nextLine())
	return i
}

func factor(n int) []int {
	if n <= 1 {
		return []int{n}
	}

	ps := make([]int, 0, 100)

	for i := int(2); i*i <= n; i++ {
		for n%i == 0 {
			n /= i
			if len(ps) == 0 || i > ps[len(ps)-1] {
				ps = append(ps, i)
			}
		}
	}
	if n > 1 {
		ps = append(ps, n)
	}
	return ps
}