Module: 단조 함수에 대한 이진 검색