Prove a sequence is nonincreasing by induction

Printable View