#include <bits/stdc++.h>
using namespace std;
struct output {};
struct input {};
template <typename T>
output operator,(output l, const T& r) {
  cout << r;
  return l;
}
template <typename T>
input operator,(input l, T& r) {
  cin >> r;
  return l;
}
long long i, j;
input I;
output P;
inline long long In() {
  static long long v;
  I, v;
  return v;
}
char sp = ' ', nl = '\n';
const long long SZ = 1e3 + 10;
long long gcd(long long a, long long b) { return b ? gcd(b, a % b) : a; }
long long lcm(long long a, long long b) { return (a * b) / gcd(a, b); }
int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  long long n, k;
  I, n, k;
  if (k > 43) {
    P, "NO", nl;
    return 0;
  }
  long long v = 1;
  for (i = (1); i < (k + 1); i++) v = lcm(v, i);
  P, ((n + 1) % v == 0) ? "YES" : "NO", nl;
}
