lower_bound3