불변식 정의
반복 중에도 답이 반드시 남아 있는 구간의 의미를 먼저 정합니다.
이분 탐색은 가운데를 찍는 기술이 아니라 답이 남아 있는 구간을 계속 유지하는 불변식 설계입니다.
반복 중에도 답이 반드시 남아 있는 구간의 의미를 먼저 정합니다.
오버플로와 무한 루프를 피하도록 구간 갱신 규칙과 함께 봅니다.
first true나 lower_bound처럼 참/거짓이 한 방향으로 바뀌어야 합니다.
left와 right가 만나는 순간 어떤 인덱스를 답으로 볼지 미리 정합니다.