I assume this question has been considered before, but I can't find an literature on it. Let $\mu(n)$ denote the usual Mobius function and define:

$F(x) : = \sum_{n=1}^{\infty} \frac{\mu(n)}{n}e(nx)$

where $e(x):= e^{2\pi i x}$.

The Prime Number Theorem is equivalent to the statement that $F(0)=0$. More generally, one can show that $F(x)$ is uniformly bounded. This follows from partial summation and an old theorem of Davenport.

Two further questions naturally follow:

- Is $F(x)$ continuous?
- Davenport's theorem is ineffective due to the possible existence of Siegel zeros. Can one obtain an unconditional effective uniform bound on $F(x)$?