But that’s overdoing it. I’d invariably enter the lottery because it has an expected 0.5% chance of success.
I don’t follow. We are discussing agents that can prove that, for all S1, S2 as specified, S2 < 0.01+S1. This does not say how much less. It is possible that S1=S2, we just aren’t concerned with proving that in this thought experiment.
But that’s overdoing it. I’d invariably enter the lottery because it has an expected 0.5% chance of success.
I don’t follow. We are discussing agents that can prove that, for all S1, S2 as specified, S2 < 0.01+S1. This does not say how much less. It is possible that S1=S2, we just aren’t concerned with proving that in this thought experiment.