Precondition Of Binary Search