Forum de Mathématiques: Maths-Forum

Je me demandais comment une preuve par induction peut être donnée dans le cas où un certain énoncé peut être vrai jusqu'à un certain point (un certain nombre d'étapes inductives), mais devient plus tard faux. Il peut y avoir une déclaration qui est vraie jusqu'à ce que l'entrée soit un nombre inféri...