En fait, on peut s'amuser à démontrer qu'une primitive de 1/x est ln|x| .
On part de la formule suivante: f(g(x))'=g'(x)*f'(g(x)) .
Donc x'=exp(ln(x))'=ln'(x)*exp'(ln( x)), soit finalement:
1=ln'(x)*exp(ln(x)) => ln'(x)=1/x .