Jamの問題で、非減少列の数って意外と少ないんだなと思ったので、どれくらいあるのか調べてみた。問題を設定して解いてみることにする。Ai+1となるものの個数を求めよ。普通に考えると、DPだよね。}}しかしよくよく考えると、組み合わせ論を使って解けるな。いうことで以下の式を導き出した。これを実装すると、以下のようになる。(多倍長整数が面倒いのでPythonで。solve(n)DP解を使って検算したので、多分導いた式は正しいと思う。