Isso é Genial

 

Dedução da derivada de cotg(x) (que é -cosec²(x)) a partir da definição (por limite) de uma derivada.