3. Consider the following recursive algorithm: Preconditions: A is an array of integers. f and e are integers such that 0s f l (-f1)/2 12. return 13.return maj(A, m1,) (a) Let T(n) denote the worst-case running time of the algorithm below on inputs of size n. Write a recurrence relation satisfied by T. Then, give an asymptotic upper-bound for the worst-case running time of the algorithm Make sure to define n precisely and justify that your recurrence is correct by referring to the algorithm to describe how you obtained each term in your answer For this part of the question (and only this part), you may assume that len(Alf1) and len(A) are powers of 2 (b) State an invariant for the loop on line 7 that describes the value of c at the end of every iteration of the loop Prove your loop invariant (c) Prove the correctness of maj with respect to the given specification. Use induction for the correctness proof and follow the steps (-(iv) below You may assume that the loop on line 7 terminates without proof. Also, you may use the following fact without proof: If u (-f1)/2 12. return 13.return maj(A, m1,) (a) Let T(n) denote the worst-case running time of the algorithm below on inputs of size n. Write a recurrence relation satisfied by T. Then, give an asymptotic upper-bound for the worst-case running time of the algorithm Make sure to define n precisely and justify that your recurrence is correct by referring to the algorithm to describe how you obtained each term in your answer For this part of the question (and only this part), you may assume that len(Alf1) and len(A) are powers of 2 (b) State an invariant for the loop on line 7 that describes the value of c at the end of every iteration of the loop Prove your loop invariant (c) Prove the correctness of maj with respect to the given specification. Use induction for the correctness proof and follow the steps (-(iv) below You may assume that the loop on line 7 terminates without proof. Also, you may use the following fact without proof: If u