证自然数中有无穷多个质数（反证法），急！！！

假定自然数中质数有n个（n是自然数），把它们从小到大依次设为a1，a2……an，
则这n个质数的乘积一定大于an。但a1×a2×……×an+1>an并且是质数（很容易证明）。所以，必定有另外（原设定的n个以外）的质数存在。这与假定矛盾，说明假定不正确，即自然数中有无穷多个质数。