Giả sử PnPn là số nguyên tố lớn nhất, ta gọi p là tích của n số nguyên tố đã biết : p=p1p2....pnp=p1p2....pn
Đặt A=p+1⇒A>pnA=p+1⇒A>pn
Do đó A là một hợp số.
Ta suy ra A có ít nhất một ước số nguyên tố d=> d bé hơn hoặc bằng pn => d | p=>d | 1, vô lí.
Vậy không có số nguyên tố nào là lớn nhất.