AAHL 1.15.4 Proof by induction (inequalities) | RevisionDojo