>>763
長さn+1の増大列はないと仮定したんだから全てのl_kはn以下のはず
(l_kは{a_1,a_2,…,a_(n^2+1)}から{1,2,…,n}への写像となる)
つまりn^2+1個のものにn以下の数を割り当てていくんだから、
鳩の巣原理によってどこかでn+1個が被った数bを割り当てられてしまう