>>405
とりあえず a[n] = 1 + 3n(n-1)/2 かな？
1 ≦ m[n,k]/a[n] ≦ M[n,k]/a[n]
だから、 lim[n→∞] M[n,k]/a[n] = 1 を示せば十分だということはわかる
直観的には、どんな初期条件であっても n が十分大きくなれば
黒い板は全部繋がってしまうから a[n] と M[n, k] は大差なくなる
ってことなんだろうか