Claim 3.5 — under $Q_t\to q^*$ a.s., almost all rounds have $Q_s\in[q^*/2,(q^*+1)/2]$

Initializing...

Claim 3.5 — under $Q_t\to q^*$ a.s., almost all rounds have $Q_s\in[q^*/2,(q^*+1)/2]$ · Prove2Me