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