Bonjour à tous, j'ai un petit problème pour une question d'un exo :

Montrer que lim ₀₊   / (1-cos) = 2

J'ai pour indication d'utiliser les formules avec /2

Donc j'ai posé t = tan/2 et cela me permet de simplifier cos en 1-t² / 1+t² .
Cela me fait une bonne réduction au dénominateur mais je bloque sur le numérateur, je trouve : = 2 arctan(t),

et là j'arrive pas à trouver la limite quand t tend vers 0 du tout, à savoir

(2 arctan(t) (1+t²)) / (2 t²)

Merci d'avance pour votre aide !