CF922C Cave Painting

Imp 正在观看一部关于洞穴壁画的纪录片。 一些以混乱顺序刻画的数字立刻吸引了他的注意。Imp 很快猜测这些数字是某个数 $n$ 除以所有从 $1$ 到 $k$ 的整数所得的余数。不幸的是，要分析的整数太多了，Imp 无法一一检查。 Imp 希望你帮他检查这些余数是否都互不相同。具体来说，他想判断所有 $n \bmod i$（$1 \leq i \leq k$）是否都不同，即不存在一对 $(i, j)$ 满足： - $1 \leq i < j \leq k$， - $n \bmod i = n \bmod j$，其中 $n \bmod x$ 表示 $n$ 除以 $x$ 的余数。

输入仅一行，包含两个整数 $n$ 和 $k$，满足 $1 \leq n, k \leq 10^{18}$。

如果所有余数都互不相同，输出 "Yes"；否则输出 "No"。 你可以以任意大小写输出每个字母。

在第一个样例中，$n$ 模 $1$ 和模 $4$ 的余数相同。 由 ChatGPT 4.1 翻译