lower bounds