majorization submajorization majorizer majorant maximization superiorization premaximality minorizer superextension maximal