(5.7.49) Proving the Explicit Formula for a Recursively Defined Sequence Using Strong Induction

[@isws]

here is my solution:
define a_1 = log_2(u_2).
now we have a_0=a_1=1 and
a_k = a_k-2 + a_k-1. therefore, a=F, so u = 2^F