정답은 남기고, 버리는 쪽만 확정한다
이진 탐색의 핵심은 mid 계산이 아니라 반복 뒤에도 같은 약속이 유지되는지입니다.
F0
F1
mid2
T3
T4
T5
답 아님
판정 지점
첫 후보 경계
단조성판정이 한 번만 false -> true로 바뀐다.
구간[lo, hi) 안에 첫 후보가 남아 있다.
판정ok(mid)가 참이면 왼쪽 경계를 보존한다.