n_i\leq m_i