on est toujours dans n pair n = 2k
si k est pair c'est fini k(k+1) est pair et le produit complet est multiple de 4*2 = 8
et on se fiche de k+1 dans ce sous cas
toujours avec n pair, si k est impair alors k+1 est pair et k(k+1) est encore une fois pair et idem
bref une telle démonstration lourde et verbeuse peut se résumer en :
de k et k+1, forcément l'un des deux est pair et k(k+1) est donc toujours pair.
(déja dit au dessus dans la discussion)
ensuite il faut faire le cas n impair(n = 2k+1) de la même façon ...
et la aussi tout ce fatras lourdingue peut être résumé en
de n, n+1, n+2, n+3 l'un est forcément multiple de 4 car il n'y a que trois restes possibles dans la division par 4
celui des quatre qui est deux crans plus loin ou deux crans avant celui là est etc
et c'est totalement terminé en deux lignes sans étude lourdingue de cas et sous cas.
mais bon, l'étude de cas c'est pour l'entrainement, pas pour résoudre le problème ...