4.30. Let fn be a sequence of nonnegative integers satisfying the recurrence relation Jn - n by strong induction that fn-n! holds for all integers1. 3- 3n2+ 2n) fn-3, as well as fi, f2 2, and fs 6. Prove