Supremum > infimum