Dimostrazione

 

Possiamo riscrivere l’espressione

 

in modo equivalente, moltiplicando numeratore e denominatore per 1+cosx:

 

 

Per il teorema del prodotto di limiti:

 

Sappiamo che:

 

                                      (per il teorema precedente)

 

 Inoltre

e quindi:

 

Complessivamente: