factorial function, prime number, inequality