lower_bound와 firstTrue는 같은 틀이다
배열 값 비교도 결국 단조 판정 함수입니다. 반환은 “처음으로 참이 되는 경계”입니다.
배열 탐색형
ok(i) = arr[i] >= target
F1
T2
T2
T2
T4
T7
정답 공간 탐색형
ok(x) = x*x >= threshold
F4
F5
F6
T7
T8
T9
배열 값 비교도 결국 단조 판정 함수입니다. 반환은 “처음으로 참이 되는 경계”입니다.