lower-bound