Lower bounds in shift_scheduling.