Bonsoir, ma question peut paraître bête mais je ne réussis pas à initialiser une propriété... si quelqu'un veut bien m'aider.

Pour tout n appartenant à N, (2^2^n) - 6 est divisible par 10

J'espère que vous pourrez m'aider sur cette initialisation (je sais, la question est bête).

P.S. : la parenthèse sert à montrer que - 6 n'est pas mis en puissance.

Pour tout n appartenant à IN signifie que tu dois initialiser en n=0.

n = 0 : (2^2^0) - 6 = 2 - 6 = -4
n = 1 : (2^2^1) - 6 = -2
n = 2 (2^2^2) - 6 = 10

Ce qui signifie que ce n'est pas pour tout n appartenant à IN, mais sûrement pour tout n >= 2.
Donc l'initialisation se fait pour n = 2.

On trouve bien le même résultat. Ça doit être une erreur de l'énoncé.

Merci.