Si ça marche pour x=2, je serai moins inquiet.
Alors, par récurrence sur x, on pourrait établir une preuve... de quoi, au juste ?