Greatest lower bound

Summary