Proof WritingSuperchallengeInduction
Induction · Superchallenge problem
The claim cannot be proved by a direct induction (the step would need the sum up to to be well below ). Instead prove . The step works for every ; the base decides it. What is the smallest that works?