how to prove it by strong induction?

Given the recurrence relation where a0 = 1 and an = (In1 + (Ln2 l - - - l (11 + a0 + 1 for n 2 1, use strong induction to prove that on = 2" is a solution to the given recurrence relation. Label where in your proof you apply your inductive hypothesis. To receive full credit, your final answer must use the minimum number of base cases