给出 $3\leq N \leq 5000,2\leq K \leq (N+1)/2$，对所有长度为 $N$ 的满足 $0\leq A_i \leq i$ 且正数项两两不同的序列 $A$，求长度为 $K$ 的元素非 0 的下降子序列个数之和。