Binary Search Algorithm, Analysis, Big O, O(logn) - Discrete Mathematics