FORMAT

Two parts (both required)

Base case: prove P(b)

Inductive step: assume P(k) for some k b

Contradiction

Example/counterexample

Prove the following equalities using mathematical induction: a. i=1n1(i(i+1)1)=11, for all integer n2. b. i=1n(2i1)=n2, for all integer n1