From 9d8ab07f1aad6db4d0092cc64c4d8211a0d73c08 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Wed, 24 Jun 2026 15:26:16 +0200
Subject: Consequences of typo

---
 controle-20260622.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'controle-20260622.tex')

diff --git a/controle-20260622.tex b/controle-20260622.tex
index 0e519db..a172f34 100644
--- a/controle-20260622.tex
+++ b/controle-20260622.tex
@@ -715,8 +715,8 @@ La suite de Goodstein termine lorsqu'on atteint $0$ (si c'est le cas).
 \textbf{(1)} Si $n$ est un entier naturel et $b\geq 2$, on définit un
 ordinal $f_b(n)$ de la façon suivante : écrire $n$ en base $b$ itérée
 et remplacer chaque $b$ par $\omega$ dans cette écriture (sans changer
-les chiffres).  Par exemple, $f_2(38) = f_2(2^{(2^2 + 2)} + 2^2 + 2) =
-\omega^{(\omega^\omega+\omega)} + \omega^\omega + \omega$ tandis que
+les chiffres).  Par exemple, $f_2(38) = f_2(2^{(2^2 + 1)} + 2^2 + 2) =
+\omega^{(\omega^\omega+1)} + \omega^\omega + \omega$ tandis que
 $f_3(38) = f_3(3^3 + 3^2 + 2) = \omega^\omega + \omega^2 + 2$.
 Montrer que, à $b$ fixé, la fonction $f_b$ est strictement croissante
 (c'est-à-dire : si $n<n'$ alors $f_b(n) < f_b(n')$).
-- 
cgit v1.2.3

