DM.LR.2.e: Construct induction proofs involving summations and inequalities.