Given a sorted array of numbers and a target, return true if the target exists using binary search (which exploits the monotonic property).