>>104
a_n = n。
帰納法以外で解けまつか?