limit(atan(ln(x)/x),x,0,1)

[alb]

Xcas ne trouve pas cette limite

[parisse]

Malheureusement je ne vois pas comment changer l'algorithme pour résoudre ce cas. Le simple remplacement échoue car ln(x)=-inf divise par 0 non signé donne infini non signé en argument de atan. Du coup l'algo passe à une recherche de développement asymptotique, et ici c'est multi-échelle dans ln(x)/x, ln(x) est vu comme un paramètre, mais l'algo n'est pas capable de garder la trace du signe de ce paramètre, il faudrait le reprogrammer avec de gros changements...
Il faut décomposer le calcul à la main, par exemple en faisant atan(limit(ln(x)/x,x=0,1)).
Pour etre plus précis, je pourrais gérer ce cas-là mais ça échouerait dès que l'atan est dans une expression plus compliquée.

[alb]

vu
au passage je note que tabvar(atan(ln(x)/x)) renvoie undef