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