Récurrence forte, exercice n=2^p(2q+1)

Nous allons montrer par récurrence forte que pour tout entier naturel non nul n, il existe un couple d'entiers (p,q) tel que n=2^p(2q+1).
Exercice récurrence forte pour prépa MPSI, MP2I, PCSI, PTSI,
Pour plus d'exercices en logique et raisonnement coinprepa.com/...