lim#{p−ינושאר|1<p<n}nln(n)=1 משפט המספרים הראשוניים מספק קירוב למציאת מספר המספרים הראשוניים הקטנים ממספר נתון.