2. For we have , therefore . Assume true up to . For , group and into one, so we can apply the induction hypothesis:
.
Unfortunately, is not guaranteed. So we need an idea. Well, since , there must be some and some . Redo all of the above with instead of . We reach that last...