P
Initializing...
Weyl–Hardy–Littlewood bound: $\mu(\tfrac12)\le\tfrac16$ · Prove2Me