L'absurde: supposant qu'elle soit infinie /: simbolyse:divise
On a P#{}
et soi p le plus grand nombre premier
on pose m=p!+1
on m>p et donc m n'est pas premier
et comme m n'appartient pâs à P donc il a un diviseur
premier q
et comme p est est le plus grand nombre premier p>=q===>q /p!
(vu que p!=p(p-1)......q.....)
on a
q /m et
q /p! donc q/m-p!
et on a m-p!=1 donc q /1 (contradiction avec q premier)
C'est du cours