Infimum of a pair of matrices