faster lower bounds