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