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).
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).