Problem Statement (2 marks) The conjecture that you are proving, nN,i=1n+1i.2i=n.2n+2+2, is expressed symbolically in the form nD,P(n). - (1 mark) What is the set D? - (1 mark) What is the predicate function P(n) in symbolic form? Base Case (3 marks) Prove your base case here Inductive Step (10 marks) a) Inductive step setup. - (2 marks) State the assumption in the inductive step and identify the inductive hypothesis. - (2 marks) State what you will be proving in the inductive step. b) Remainder of Inductive step ( 6 marks). Finish your proof here. Be sure to justify every step. particularly why the inductive hypothesis and recursive definitions can be applied