Thanks for pointing this out! This argument made it into the revised version. I think because of finite precision it’s reasonable to assume that such an ε always exists in practice (if we also assume that the probability gets rounded to something < 1).
Yeah, I think it was implicitly assumed that there existed some ε>0 such that no token ever had probability >1−ε.
Thanks for pointing this out! This argument made it into the revised version. I think because of finite precision it’s reasonable to assume that such an ε always exists in practice (if we also assume that the probability gets rounded to something < 1).