According to Van der Waerden, the sum of two natural numbers is defined as &x*1=x& &x*y^+= x*y+x& (for every x and every y) The product of two natural numbers is recursively defined as &x*1=x& &x*y^+= x*y+x& (for every x and every y) x^+ ( y^+ ) here means the successor(consequent) of x( y) in the set of natural numbers.

The problem of the existence of infinitely many prime values of a number-theoretic function f (x) has been one of the most important topics in Number Theory. Note that if f (x) represents infinitely many primes, then we can get this necessary condition: for any positive integer h , there exists a positive integer k such that ( f (k), h) =1and f (k) >1. Naturally, we are interested in the number-theoretic functions f (x) that satisfy the aforementioned necessary condition. Thus, there must exist the least positive integer n such that (f(n),h)-1andf(k)>1. Denote this least positive integer n byF_f(h). In this paper, we mainly focus on three famous number-theoretic functions:&f(x)=2^{2^x}+1,m(x)=2^x-1 and l(x)=x^2+1& proving they satisfy the aforementioned necessary condition respectively. Furthermore, we approximately estimate the upper bound of F_f(x)(h),Fm(x)(h)，Fl(x)(h) respectively, and obtain some interesting results.

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!