ちなみに >>350の一番簡単な解法としては、
m=0, n とすれば、 0< a < n+1 が必要条件として求まり、
これが十分条件であることも簡単に確かめられるというものがある。
答が分かってりゃそういう解き方もあるw