n\geq m