P
Initializing...
Siegel median bound: $F(1)\ge\tfrac12$ for the homogeneous waiting time · Prove2Me