The next prime function gives the smallest Prime larger than . The function can be given
explicitly as
See also Fortunate Prime, Prime Counting Function, Prime Number
References
Sloane, N. J. A. Sequence
A007918
in ``The On-Line Version of the Encyclopedia of Integer Sequences.''
http://www.research.att.com/~njas/sequences/eisonline.html.