rt，思路就是令 $f(n, m) = \sum_{i = 0} ^ {m} \dbinom{i}{n}$，然后递归加卢卡斯定理求 $f(n,m)$，不知道哪里寄了。