Binary Search Array Discrete Maths