Recursively define the sequence a_n (a_n - 1 + a_n - 2) (a_n - 1 * a_n - 2) for n greaterthanorequalto 2, a_0 = a_1 = squareroot (2) (a) Calculate the first 5 terms of the sequence (b) Guess the general formula for an for any n in N (c) Use induction to prove the guess in part (b)