Proving, using the limit definition of derivatives, that the derivative of sec(x) is tan(x)*sec(x).