subminimization minimality subminimum minorization minimalization minoration submajorization submodularity minorizer sublinearity