giả sử tồn tại số nguyên tố lớn nhất p
=> ta có hữu hạn số nguyên tố là {2, 3, 5,..., p}
xét q = 2.3.5. ... .p + 1
thấy 2,3,5,..., p đều ko là ước của q, mà p là số nguyên tố lớn nhất nên q không có ước nguyên tố nào (ngoại trừ chính nó) => q nguyên tố
mà từ trên có q > p trái giả thiết p là snt lớn nhất
vậy ko có số nguyên tố lớn nhất