前一個素數函式 給出小於 素數 的最大
。該函式可以顯式地表示為
其中 是第
個 素數,而
是 素數計數函式。對於
、4、...,這些值是 2、3、3、5、5、7、7、7、7、11、11、13、13、13、13、17、17、19、... (OEIS A007917)。
前一個素數函式在 6 之前的 Wolfram 語言 版本中實現為PreviousPrime[n](在載入包之後NumberTheory`NumberTheoryFunctions).
查詢小於 的前一個素數會給出最大的
位素數。對於
、2、...,這些數的前幾個是 7、97、997、9973、99991、999983、9999991、99999989、... (OEIS A003618)。這些數小於
的量是 3、3、3、3、27、9、17、9、11、63、... (OEIS A033873)。