Intégrale de $$$\frac{1}{\ln\left(n^{3}\right)}$$$

Déterminez $$$\int \frac{1}{3 \ln\left(n\right)}\, dn$$$.

L’entrée est réécrite : $$$\int{\frac{1}{\ln{\left(n^{3} \right)}} d n}=\int{\frac{1}{3 \ln{\left(n \right)}} d n}$$$.

Appliquez la règle du facteur constant $$$\int c f{\left(n \right)}\, dn = c \int f{\left(n \right)}\, dn$$$ avec $$$c=\frac{1}{3}$$$ et $$$f{\left(n \right)} = \frac{1}{\ln{\left(n \right)}}$$$ :

$${\color{red}{\int{\frac{1}{3 \ln{\left(n \right)}} d n}}} = {\color{red}{\left(\frac{\int{\frac{1}{\ln{\left(n \right)}} d n}}{3}\right)}}$$

Cette intégrale (Intégrale logarithmique) n’admet pas de forme fermée :

$$\frac{{\color{red}{\int{\frac{1}{\ln{\left(n \right)}} d n}}}}{3} = \frac{{\color{red}{\operatorname{li}{\left(n \right)}}}}{3}$$

Par conséquent,

$$\int{\frac{1}{3 \ln{\left(n \right)}} d n} = \frac{\operatorname{li}{\left(n \right)}}{3}$$

Ajouter la constante d'intégration :

$$\int{\frac{1}{3 \ln{\left(n \right)}} d n} = \frac{\operatorname{li}{\left(n \right)}}{3}+C$$

$$$\int \frac{1}{3 \ln\left(n\right)}\, dn = \frac{\operatorname{li}{\left(n \right)}}{3} + C$$$A