P
Initializing...
Penrose Thm. 2.2: $\liminf \mathrm{Var}\,\xi_t(0)/\log t>0$ · Prove2Me