Ok, j'ai compris (je crois), de mon point de vue c'est moi qui ai raison bien sûr
et c'est toi (hé hé hé) qui confonds entre séquence et occurrence de séquence.
Pour moi, la séquence 111, par exemple, dans la suite 111112, a trois occurrences,
les séquences sont définies indépendamment de toute suite.
Et ma question était "Montrez qu'il existe trois séquences distinctes qui ont un
nombre infini d'occurrences dans le DD de [latex]\pi^2[/latex]", et la tienne
"Montrez qu'il existe trois séquences distinctes qui ont un nombre infini
d'occurrences disjointes 2 à 2 dans le DD de [latex]\pi^2[/latex]"
Ce sont les occurrences qui sont disjointes, pas les séquences...
Yes ! Pas toujours facile de se comprendre...
Et en fait, après y avoir réfléchi, je crois que c'est équivalent !!
Que ta proposition implique la mienne, c'est trivial.
Que la mienne implique la tienne est immédiat, car si je trouve que k séquences [latex](s_1,...,s_k)[/latex]
se répètent (indéfiniment, et possiblement en se chevauchant), je considère alors :
la première occurrence [latex]o_1[/latex] de [latex]s_1[/latex] (il y en a une puisque [latex]s_1[/latex] se répète)
puis la 1ère occurrence [latex]o_2[/latex] de [latex]s_2[/latex] au-delà de [latex]o_1+n[/latex] (même raison)
puis la 1ère occurrence [latex]o_3[/latex] de [latex]s_3[/latex] au-delà de [latex]o_2+n[/latex](idem)
...
puis la 1ère occurrence [latex]o_n[/latex] de [latex]s_n[/latex] au-delà de [latex]o_n+n[/latex](re-idem),
et je recommence à [latex]s_1[/latex]...
J'obtiens ainsi une suite infinie d'occurrences disjointes de séquences (et, cerise sur le gâteau, rangées dans l'ordre [latex]s_1[/latex],[latex]s_2[/latex],...,[latex]s_n[/latex] )
Donc kif-kif.
Donc j'ai raison