Isso é Genial

 

Dedução da derivada de cos(x) (que é -sen(x)) a partir da definição de limite.