P
Initializing...
Bourgain's bound: $\mu(\tfrac12)\le\tfrac{13}{84}$ · Prove2Me