Quit optimal_time when it reaches the lower bound.