مبرهنة روسر تزعم أن العدد الأولي pn، وهو الأولي رقم n، أكبر من n·ln n لجميع n ≥ ١. وتحسّن هذا الحدّ لاحقًا إلى حد أقوى يقول pn > n·(ln n + ln(ln n) − ١)، مما يعطي تقاربًا أدق لنموّ المواضع الأولية بالنسبة إلى n.