What is name of the function used for the largest integer not greater than the number in question?
Another formula is based on Wilson's theorem and generates the number 2 many times and all other primes exactly once.