CS 173: Skills list for the final
The Final is Comprehensive
Notice these topics covered in lecture/tutorial but not yet tested:
Prove claims involving harder use of inequalities (direct proofs or proofs by induction)