이분탐색 + 타잔 알고리즘으로 했는데 증명은 못했고...계속틀리네