(*) Question 6: Recall that we have defined I to be the set of integers greater than or equal to k. Prove informally that Tt Tt i-1_7"1 (When giving an informal proof, demonstrate that the predicate holds for the base case, assume it holds for n, and show that, under that assumption, it holds for n +1.)