Mon prof de maths le dit très bien : "plus on a de savoir, plus on a d'inspiration..."
Bon, sinon, autre méthode pour ta limite, sans dérivées :
1/[n*tan(pi/2n)] =(1/(n*sin(pi/2n)/cos(pi/2n)))
=cos(pi/2n)/(sin(pi/2n)/(1/n))=cos(pi/2n)/((pi/2)*
sin(pi/2n)/(pi/(2n)))
on pose N= pi/(2n)
On a alors :
cos(N)/((pi/2)*sin(N)/N)
on reconnait au dénominateur un truc de la forme sin(x)/x qui tend vers 1 en 0
et comme cos(x) tend vers 1 en 0,
cos(N)/((pi/2)*sin(N)/N)--> 2/pi en 0