题目:TrickyInequality
枚举末尾最多有几个变量和不超过 s−nts-nts−nt,可以得到答案为:
但是式子的前半部分是我从 n=1n=1n=1 的情况 xjb 试出来的,确实可以组合意义证明但不是很自然,
所以有没有自然一点的组合意义证明方法,或者能不能直接代数推导得到这个式子