salut tt
lim(x-->+00){(x/arctanx)-(2x)/pi) =Lim(x-->+00){x(pi/2-arctan(x)/pi/2arctan(x))}
on sait que qq etant x>0 arctan(x)+artan(1/x)=pi/2 on remplaçon dans la limite
lim(x-->+00){(x/arctanx)-(2x)/pi) =x*{2arctan(1/x)/pi*arctn(x)}
sachant que limt==0 artan(x)/x=1
donc lim(x-->+00){(x/arctanx)-(2x)/pi) =1/(pi²/4)=4/pi²