P
Initializing...
Convexity bound: $0\le\mu(\tfrac12)\le\tfrac14$ (Lindelöf 1908) · Prove2Me