La formule s'il te plaît. Proba de la présence d'une séquence de longueur p donnée dans les décimales de pi conditionnellement à la connaissance des n premières.
C'est un problème bien posé, il me semble.
Si ce que tu racontes est formalisable, la formule existe. Et si tu as raison, elle doit présenter une certaine évolution avec n.
Cordialement,
-----