给出 $n,m,k$，判断

$C_{n+m}^n\ge k$

是否成立。$1\le n,k\le 10^{18},1\le m\le 2\times 10^5$。

这是我在做别的题时，要解决的问题的一部分。因为要再套层二分，所以时间复杂度最好能控制在 $O(m)$。