Category:Prime Enumeration Function

This category contains results about Prime Enumeration Function.

Let the function $p: \N \to \N$ be defined as:

$\map p 0 = 1$

$\map p n =$ the $n$th prime number

This function is called the prime enumeration function.