In proving that there are infinitely many primes, one could define a function by and show that(1)for all ,(2)is either prime or composite and(3)has prime factors greater than if is composite.

So in general can we find a function defined by and choose accordingly to satisfy the above conditions? Could we define a function in another way that satisfies the above condtions?