Isso é Genial

 

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