Olympiad Proof Techniques

Induction, contradiction, invariants and extremal arguments.