greatest lower bound