29
$\begingroup$

Let $\pi(x)$ denote the Prime Counting Function.

  • One observes that, $\pi(6) \mid 6$, $\pi(8) \mid 8$. Does $\pi(x) \mid x$ for only finitely many $x$, or is this fact true for infinitely many $x$.
  • 0
    @Chandru1: I don't understand your comment. Could you please clarify what didn't sound realistic?2010-11-21

3 Answers 3

41

Well, it's not hard to show that for every natural $k>2$ equation $x=k\pi(x)$ has a positive solution.

Proof by contradiction: Imagine, that $x\ne k\pi(x)$ for every natural $x$. But then - for $x=2$:$x-k\pi(x)=2-k<0$ and for very large $x$: $x-k\pi(x)\sim x(1-\frac{k}{\ln x})>0$.

So there should be such $t$, that $t-k\pi(t)<0$ and $(t+1)-k\pi(t+1)>0$. But then from one hand:

$ t+1-k\pi(t+1)-(t-k\pi(t))\ge 2 $ as a difference of positive integer and negative integer, but from the other hand:

$ t+1-k\pi(t+1)-(t-k\pi(t))=1-k(\pi(t+1)-\pi(t))\le 1 $

Contradiction.

  • 0
    Am I right if the only properties of $\pi(x)$ you used are that it is 1) monotonically increasing 2) $\pi(x)\ll x$ 3) x for at least one $x\in\Bbb Z$ ?2015-09-01
9

This is Sloane's A057809, but unfortunately there's not much information there.

Heuristically, the chance that $\pi(x)\mid x$ is $\displaystyle\frac{\log{x}}{x}$ which suggests that there are $0.5\log^2 x$ such numbers up to $x$, that is, infinitely many.

  • 0
    The clumping makes sense -- there's a clump for $x/\pi(x) = 1$, a clump for $x/\pi(x) = 2$, and so on.2011-03-22
0

Please see: