infimum
greatest lower bound