∀mに対して、m(n)_<_m(n+1)