๐Ÿ”’

Induction proofs with inequalities