程序在Python中查找大小为k的递增子序列数