Epoustouflant !

Je viens seulement de réaliser que $$\Large {\rm ln}\;\sqrt x\;\;=\;\;\displaystyle\frac{{\rm ln}\;x}{2}$$ Cela fonctionne pour $x$ réel ou complexe, quelle que soit la racine ou la puissance choisie de $x$ (et en fait, c'est normal, puisque le log d'un produit est la somme des log).
Il n'en est pas de même du logarithme intégral, dont on aurait pu penser qu'il vérifierait cela aussi.