JAO Section 6, final computation: averaging over the planting and the choice $\varepsilon = \frac15\sqrt{\delta m / T}$ leave regret $\ge \frac{1}{100}\sqrt{D' m T}$

Initializing...

JAO Section 6, final computation: averaging over the planting and the choice $\varepsilon = \frac15\sqrt{\delta m / T}$ leave regret $\ge \frac{1}{100}\sqrt{D' m T}$ · Prove2Me