#include <bits/stdc++.h>
using namespace std;
unsigned long long gcd(unsigned long long a, unsigned long long b) {
  return b ? gcd(b, a % b) : a;
}
unsigned long long lcm(unsigned long long a, unsigned long long b) {
  unsigned long long x = gcd(b, a % b);
  a /= x;
  b /= x;
  return a * b * x;
}
int main() {
  long long n, k;
  scanf("%lld %lld", &n, &k);
  ++n;
  unsigned long long LCM = 1;
  for (int i = 1; i <= k && LCM <= n; i++) LCM = lcm(LCM, i);
  if (n % LCM == 0) {
    printf("Yes\n");
    return 0;
  }
  printf("No\n");
  return 0;
}
