(0.995^n) x 147 < 140
simplifie toi l´esprit avec :
147 = 21*7 et 140 = 20*7
Donc puisque 7 est strictement positif :
(0.995^n) x 21 < 20
Ensuite tu sais que (0.995^n) ca vaut par définition d´une fonction puissance exp(n*ln(0.995)) tu peux donc remplacer dans l´inéquation stricte :
exp(n*ln(0.995)) x 21 < 20
Tu peux passer au logarithme car chacun des termes sont STRICTEMENT POSITIFS :
ln(exp(n*ln(0.995)) * 21) < ln(20)
car ln est une fonction STRICTEMENT croissante (oui ici l´inégalité est STRICTE)
ln(exp(n*ln(0.995))) + ln(21) < ln(20)
ln(exp(n*ln(0.995))) < ln(20/21)
Maintenant tu peux faire passer le ln(21) à droite (ca évite de s´embêter avec les disivions et la stricte positivité avant : là on le fait à vue (sans justifier))
ln est la bijection réciproque de exp donc leur composée vaut l´identité de R :
n*ln(0.995) < ln(20/21)
n > ln(20/21)/ln(0.995) car ln(0.995)<0, en effet ln est une bijection strictement croissante qui s´annule en 1 (trace la courbe si jamais)
Application numérique :
ln(20/21)/ln(0.995)= 9,7 à 10^-1 près
d´où n=10,11,12,... pour peu que n présentait un entier