What are some good old proofs to know that have been or could be used in the hsc previously? I know about some of them like Basel's formula, Wilson's theorem, Squeeze theorem and crap but anyone got a list or smth of interesting ones to know (that are not too crazy)?