CF1359E.Modular Stability

We define $x \bmod y$ as the remainder of division of $x$ by $y$ ($\%$ operator in C++ or Java, mod operator in Pascal).

Let's call an array of positive integers $[a_1, a_2, \dots, a_k]$ stable if for every permutation $p$ of integers from $1$ to $k$, and for every non-negative integer $x$, the following condition is met:

$ (((x \bmod a_1) \bmod a_2) \dots \bmod a_{k - 1}) \bmod a_k = (((x \bmod a_{p_1}) \bmod a_{p_2}) \dots \bmod a_{p_{k - 1}}) \bmod a_{p_k} $

That is, for each non-negative integer $x$, the value of $(((x \bmod a_1) \bmod a_2) \dots \bmod a_{k - 1}) \bmod a_k$ does not change if we reorder the elements of the array $a$.

For two given integers $n$ and $k$, calculate the number of stable arrays $[a_1, a_2, \dots, a_k]$ such that $1 \le a_1 \lt a_2 \lt \dots \lt a_k \le n$.

我们定义 $x \bmod y$ 为 $x$ 除以 $y$ 的余数（在 C++ 或 Java 中对应 $\%$ 运算符，在 Pascal 中对应 mod 运算符）。

我们称一个正整数数组 $[a_1, a_2, \dots, a_k]$ 是稳定的，如果对任意 $1$ 到 $k$ 的排列 $p$，以及任意非负整数 $x$，均满足以下条件：

$ (((x \bmod a_1) \bmod a_2) \dots \bmod a_{k - 1}) \bmod a_k = (((x \bmod a_{p_1}) \bmod a_{p_2}) \dots \bmod a_{p_{k - 1}}) \bmod a_{p_k} $

即：对每个非负整数 $x$，表达式 $(((x \bmod a_1) \bmod a_2) \dots \bmod a_{k - 1}) \bmod a_k$ 的值在对数组 $a$ 的元素重排后保持不变。

给定两个整数 $n$ 和 $k$，请计算满足 $1 \le a_1 \lt a_2 \lt \dots \lt a_k \le n$ 的稳定数组 $[a_1, a_2, \dots, a_k]$ 的个数。

The only line contains two integers $n$ and $k$ ($1 \le n, k \le 5 \cdot 10^5$).

唯一的一行包含两个整数 $n$ 和 $k$（$1 \le n, k \le 5 \cdot 10^5$）。

Print one integer — the number of stable arrays $[a_1, a_2, \dots, a_k]$ such that $1 \le a_1 \lt a_2 \lt \dots \lt a_k \le n$. Since the answer may be large, print it modulo $998244353$.

输出一个整数——满足 $1 \le a_1 \lt a_2 \lt \dots \lt a_k \le n$ 的稳定数组 $[a_1, a_2, \dots, a_k]$ 的个数。由于答案可能很大，请对 $998244353$ 取模后输出。