P
Initializing...
Proposition C.1.5 — a Lyapunov drift of $-\epsilon$ off $G$ gives $m_{iG} \le y(i)/\epsilon$ · Prove2Me