Posté par
romu romuOk, ben en fait c'était peut-être pas si inutile que ça.
Voilà ce que j'ai trouvé:
Posons

, et pour tout entier

on pose
)
.
Posons ensuite pour tout

,
 = \ln(\Bigprod_{i=1}^{n-1} (1-\lambda_i)) = \Bigsum_{i=1}^{n-1} \ln(1-\lambda_i) = - \Bigsum_{i=1}^{n-1} (-\ln(1-\lambda_i)))
.
On a

.
)_i)
est une suite à termes positifs, car pour tout

,
 = \ln(\frac{1}{1 - \lambda_i}))
et

.
Plusieurs cas se présentent:
- si
_i)
ne tend pas vers 0:
alors
)_i)
ne tend pas vers 0, donc
) = -\infty)
, d'où

.
- si
_i)
tend vers 0:
on a
)_i)
~
_i)
.
Si la série de terme général
_i)
diverge (ie tend vers

vu qu'elle est à termes positifs) alors comme pour le premier cas, on a

.
Si la série de terme général
_i)
converge, notons alors

sa limite, il est clair que

, et

.
On peut remarquer qu'on a

.
Dans tous les cas la suite
_n)
, qui n'est autre que la suite
)_n)
, est convergente.
------------------------------------------------------------------------------
Alors pour la question 3):
Soit
![r\in ]0,1[](http://latex.ilemaths.net/ile_tex.cgi?r\in ]0,1[)
, on cherche une suite
_{n\geq1})
de points de
![]0,1[](http://latex.ilemaths.net/ile_tex.cgi?]0,1[)
telle que
 = r)
,

étant le Cantor associé à cette suite.
D'après l'étude précédente, il faut que la série numérique de terme général
)
ait pour limite
)
.
à partir de là je suis bloqué, peut-être à cause de mes lacunes sur la théorie des séries.
