Montrer par récurrence que .