P
Initializing...
Under Lindelöf: $\mu(\sigma)=\max(0,\tfrac12-\sigma)$ · Prove2Me