Question: I'm supposed to compute the asymptotic density of the set
\begin{equation}
\Pi(x):=\#\{p^k \leq x :p \;prime, k \in \mathbb{N}\}
\end{equation}
of prime powers less or equal to $x$, that is, compute $\lim\_{x \to \infty} \dfrac {\Pi(x)}{x}$.

So $\Pi(x)$ denotes the number of elements in the set $\{p^k \leq x :p \;prime, k \in \mathbb{N}\}$? I have never seen this notation. I am not looking for a solution here, just for hints.

Answer: 
Copied from another [answer of mine](https://math.stackexchange.com/a/126795/):

The following result is from the paper
Ivan Niven. [The asymptotic density of sequences](http://projecteuclid.org/euclid.bams/1183516304). Bull. Amer. Math. Soc., 57(6):420-434, 1951. Often it can be used to show that asymptotic density of some set is $0$.

> 
> **Theorem 7.** If for a set of primes $\{p\_i\}$ we have $d(A\_{p\_i})=0$ for every $i$, and if $\sum p\_i^{-1}=\infty$ then $d(A)=0$.
> 
> 
> 

Here, for any $A\subseteq\mathbb N$ and a prime $p$, the set $A\_p$ is defined as
$$A\_p=\{n\in A; p\mid n, p^2\nmid n\}.$$

Note: If we defined $A\_p=\{n\in A; p\mid n\}$ instead of the above result, we would get a weaker result, but the proof is much simpler.

---

Now if you use the above result for $A=\{p^k; k\ge 1\}$ (and take $\{p\_i\}$ to be the set of all primes), you easily get that $d(A)=0$.

**EDIT:** Originally I considered only the set $A=\{p^k; k\ge 2\}$ and discussed the density of primes separately. This is not necessary. (Which is why the following paragraph is not needed anymore.)

~~So now it remains to find asymptotic density of the set of all primes (since higher powers do not contribute to asymptotic density). Several proofs that $d(\mathbb P)=0$ are in this post: [Percentage of primes among the natural numbers](https://math.stackexchange.com/questions/82074/percentage-of-primes-among-the-natural-numbers)~~
You can prove stronger results; in increasing order of generality we have

1. The upper Banach density of prime powers is 0.
2. The upper Banach density of perfect powers is 0.
3. The Buck's measure density of perfect powers is 0.

All these results follow from Corollary 6 in [1](http://arxiv.org/abs/1506.04664).