Module: Carian binari untuk fungsi monoton