Yeah, the general problem of figuring out approximations and bounds for finite versions of these theorems has been a major focus for me over the past couple weeks, and will likely continue to be a major focus over the next month. Useful insights have already come out of that, and I expect more will come.
Yeah, the general problem of figuring out approximations and bounds for finite versions of these theorems has been a major focus for me over the past couple weeks, and will likely continue to be a major focus over the next month. Useful insights have already come out of that, and I expect more will come.