Here it’s done mainly to sidestep an issue of “dividing by zero”, which makes me think that there’s some kind of argument which sidesteps it by using limits or something like that.
Here’s my attempt at sidestepping: EDT solves 5 and 10 with conditional oracles.
Here’s my attempt at sidestepping: EDT solves 5 and 10 with conditional oracles.