Standard +0.8 This is a standard Further Maths induction proof on recurrence relations requiring algebraic manipulation to show P(n)⇒P(n+1). The substitution and simplification of the fraction (3^(n+2)-3)/(3^(n+2)-1) from the recurrence relation involves careful algebraic work with powers of 3, which is moderately challenging but follows a well-established template for FP2 students.