order of primality of an integer

Question

Hello,

let's define the notion of order of primality in such a way: $n$ is a prime of order $k$ if and only if $k$ is the smallest non negative integer such that $\pi^{(k)}(n)$ is not a prime number, where $\pi^{(0)}(n)=n$ and for all $m$, $\pi^{(m+1)}(n)=\pi(\pi^{(m)}(n))$. Now let's write $\pi_{k}(x)$ for the number of primes of order $k$ not exceeding $x$. It is quite easy to see that every non negative integer $n$ verifies the equality $n=\displaystyle{\sum_{k\geq 0}\pi_{k}(n)}$ and that $\pi(n)=n-\pi_{0}(n)$. Moreover, for all $(k,n)\in\mathbb{N}^{2}$, $\pi_{k+1}(n)\leq\pi_{k}(n)$.

My question is: is there a function $f$ such that for all $(k,n)\in\mathbb{N}^{2}$, $\pi_{k+1}(n)=f(\pi_{k}(n))+O(1)$?

Thank you in advance.

Answer 1

I think your argument may be generalized to any order. If $m \in \mathbb{N}$, then $\pi^{(m)}(x)$ is the number of primes of order $\ge k$ not exceeding $x$. That is

$$\pi^{(m)}(x) = \sum_{k \ge m} \pi_k(x)$$

And we get

$$\pi_m(x) = \pi^{(m)}(x) - \pi^{(m+1)}(x)$$

Thus for $n \in \mathbb{N}$, we get

$$\pi_m(\pi^{(n)}(x)) = \pi^{(m)}(\pi^{(n)}(x)) - \pi^{(m+1)}(\pi^{(n)}(x)) = \pi^{(m+n)}(x) - \pi^{(m+n+1)}(x) = \pi_{m+n}(x)$$