Sonsuz tane asal sayı olduğunun çeşitli ispatları vardır. Bunlardan herhalde en ünlüsü olmayana ergi yöntemiyle Euclid’in verdiği ispattır. Eğer sonlu bir asal sayı listesi
olsaydı, sayısı ne asal, ne de bileşik bir sayı olabilecekti.
Asalların sonsuzluğunun bir diğer ispatı, Euler tarafından Riemann zeta fonksiyonu kullanılarak verilmiştir. Bu ünlü fonksiyon için
formülüyle tanımlanır. Analiz dersi alan her öğrenci için bu serinin yakınsak olduğunu bilir. Biraz daha ötesine gidersek, yakınsama düzgün (uniform) olduğu için fonksiyonu, için sürekli olur. Hatta değişkeni ‘e sağdan yaklaşırken, bu sürekli fonksiyon sonsuza gider.
Aritmetiğin temel teoremi der ki, herhangi bir pozitif tamsayısı
şeklinde asal sayıların kuvvetlerinin çarpımı olarak yazılabilir. Geometrik serilerin toplamından ise şunu biliyoruz:
Şimdi fonksiyonunun için yakınsıyor olması
eşitliğini gerektiriyor. sayısı ‘e giderken, sol taraf sonsuza gittiği için, sağ taraf da sonsuza gitmelidir. Bu ancak sağ tarafta sonsuz tane çarpım olduğunda mümkündür. Yani sonsuz tane asal sayı vardır.
Bu ispatın güzelliği Dirichlet’in asal sayı teoremini düşününce daha da belirginleşiyor. Eğer sadece dizisinde değil de, aralarında asal ile verilen
dizisinde de sonsuz asal olduğunu göstermek isterseniz buna benzer bir fikir kullanmak işe yarayacaktır.