salut

si tu travailles proprement par inégalité il n'y a pas de problème !!

je pose

que peux-tu dire de cos x et de 1/x lorsque ?

Bonjour

Tu as besoin de garder 1/x partout, puisque les ln2  proviennent à gauche et à droite de l'intégration de 1/x

Donc encadre cosinus x comme tu l'as proposé et intègre tranquillement.

Bonjour, oui tu encadres le cosinus comme tu as proposé cos(π/3)≤cos(x)≤cos(π/6) et après tu divises par x toutes les inégalités et tu intègres tout le monde entre les bornes , tu devrais tomber sur les inégalités demandées.

Bonjour oui effectivement j'ai suivi le chemin de cos(π/3)≤cos(x)≤cos(π/6)
Et j'ai trouvé l'inégalité demandée merci beaucoup
On trouve les primitive sous forme de ln et on utilise les propriétés de fonction logarithme comme :
a ln (x)= ln (x^a)

c'est plutôt les formules ln (ab) = ... et ln (a/b) = ...  qu'il vaut mieux citer