Effectively, the above theorem predicts that for any fixed \(\pi\in(0,1)\) -no matter how small- the test error grokks w.r.t sample size \(T\). The result is empirically confirmed in Figure 3, right (see Figure 10 for another illustration).