Needs a steward / erdos-417
Steward erdos-417
Let$$V'(x)=\#\{\phi(m) : 1\leq m\leq x\}$$and$$V(x)=\#\{\phi(m) \leq x : 1\leq m\}.$$ Does $\lim V(x)/V'(x)$ exist?
What the role asks
- Understand what the network proves on this problem.
- Write it up, and sign the explainer of the proof that closes it.
- Best efforts, no deadline: step down at any time.