[数学] ２００７．１１．１７

是否可以这样：
假设存在最大的质数Pm，则必存在小于Pm的有限个质数，
设所有这些有限个质数为P1,P2,...,P
则存在大于Pm的数S=P1*P2*...*P*Pm+1
S要么是质数，要么是合数
若S是质数，则S>Pm，与假设矛盾；
若S是合数，则必能被某个质数Pi整除，
而S不能被P1，P2，...，P，Pm整除,
则Pi>Pm,与假设矛盾。
所以原假设不成立.