组合数的不等式解关于k的不等式C(k-4,20)