On considère la suite $\left(u_n\right) $ définie par :
$ u_0 = 8 $ et pour tout entier naturel $ n $, $$ u_{n+1} = u_n -\ln\left(\frac{u_n}{4}\right). $$
mystere définie ci-dessous en Python.
On admet que, pour tout réel strictement positif a, log(a) renvoie la valeur du logarithme népérien de a.
def mystere(k) :
u = 8
S = 0
for i in range(k) :
S = S + u
u = u - log( u / 4 )
return S
L'exécution de mystere(10) renvoie 58.44045206721732. Que représente ce résultat ?
Modifier la fonction précédente afin qu'elle renvoie la moyenne des $ k $ premiers termes de la suite $ \left(u_n\right) $.
On précisera la valeur exacte du minimum de $ f $ sur $ ]0~;~+\infty[ $. Les limites ne sont pas demandées.
Dans la suite de l'exercice, on remarquera que pour tout entier naturel $ n $, $$ u_{n+1} = f\left(u_n\right). $$