lower bound on Unboud library