ANSWER THE FOLLOWING BASED ON CODE BELOW

1.) ARGUMENT OF CORRECTNESS FOR CODE (EXPLAIN WHY IT'S RIGHT)

2.) RUNTIME ANALYSIS FOR CODE (USING SUMMATION)

CODE:

def bs(arr, low, high,x): #returns the first index of the second element say x of the array if low arr[mid]: else: return mid return bs (arr, (mid 1),high, x)i return bs(arr, low, (mid -1), x); return -1 #if index not found then return -1