minorizer majorisation submajorization majorization minoration minorant minorization global maximum hyperfunction maximization