Let $n\geq 2$ integer. The arithmetic function $$\sigma(n)=\sum_{d\mid n}d$$ is the sum of divisor function, and $\pi(x)$ the prime-counting function.
I know how to solve this puzzle that I am written this morning:
Puzzle 1. Find the solutions over integers $n\geq 2$ for $$2\sigma(\pi(n))=n.\tag{1}$$ Solution (Wrong, see comments). The sequence starts as $2,12,26,504\ldots$ One knows that $2\sigma(\pi(n))>2\pi(n)$, and Chebyshev's bounds about (I say for example the identity (8) from this MathWorld ) in the context of the prime number theorem tells me that as there exists a $N_0$ such that $\forall n>N_0$ one has $2\sigma(\pi(n))>\frac{14}{8}n>n$. Thus the solution of our puzzle can be get using a computer since I know that there exist finitely many solution of $(1)$.$\square$
In the same way, trying do a joke using the condition to be a perfect number $$\sigma(n)=2n,$$ with the intention to combine with particular values of the prime-counting function I've consider this more interesting
Puzzle 2. Find the solutions over integers $n\geq 2$ for $$\sigma(\pi(n))=\pi(2n).\tag{2}$$
Computational fact. The sequence for Puzzle 2 starts as $$3, 5, 9, 45, 46, 47, 48, 761, 1301, 1302,\ldots$$
Question. What is the strategy to solve Puzzle 2? Are there finilety many solutions of $(2)$? Many thanks.
Comment: Finally, I tried find in Internet if such sequences were in the literature, I call these sequence of integers as $\pi$erfect numbers (the first kind, the second kind...). I don't know if it is possible write a more nice puzzle using the prime-counting function, and the notion to be perfect (with a more difficult solution).