Isso é Genial

 

Dedução da derivada de sec(x) (que é tg(x)*sec(x)) a partir da definição (por limite) de uma derivada.