>>208
上
3^N<a[n]＜3^(N+1)を同値変形すると
{3＾（N-1）+1｝/2<n<{3＾(N)+1｝/2になって、この左辺をm[1]、右辺をm[2]と置いたんだろ?
nは自然数で、不等号に等号がついてないから、
nはm[1]の1つ次の数からm[2]の1つ前の数までなら3^N<a[n]＜3^(N+1)を満たすわけだ

下
nはm[1]+1もOKだから、n=m[1]+1まで引いたら引きすぎ
ひとつ手前のm[1]までで我慢しなさい