lo+1<hi를 쓰고 어떤 느낌으로 이해하냐면 조건을 만족하는 최소를 구할 때는 lo는 항상 조건을 만족하고 hi는 항상 조건을 불만족하게 설정하고 mid가 조건을 만족하면 lo=mid, 조건을 불만족하면 hi=mid 이런 식으로 해서 마지막에 lo(조건을 만족하는 거)를 취하고 조건을 만족하는 최대를 구할 때는 완전 반대로 하는데 헷갈릴 일 전혀 없음