. . "infimum" . . "infimum" . .