6. 18 marks Consider the sequence 10, 11, ... defined by 10 = 0,01 = 1, and I = -1 +14-2 for all i > 2. Consider the following algorithm that attempts to compute the value In, given an n > 0. Algorithm 6 1: //pre: (n EZ A n > 0) 2: if n == 0 then 3:50 4: else 5: a+ 0 6: 5+ 1 in1 //LoopInv: while i<>