upper_bound fixed, upper and lower bound testing