Hm, perhaps I should figure out what the significance of uniform continuity on bounded sets is in constructive analysis before dismissing it, even though I don’t see the appeal myself, since constructive analysis is not a field I know much about, but could potentially be relevant here.
f is the reciprocal of what it was before, but yes, this looks good. I am happy with this proof.
Hm, perhaps I should figure out what the significance of uniform continuity on bounded sets is in constructive analysis before dismissing it, even though I don’t see the appeal myself, since constructive analysis is not a field I know much about, but could potentially be relevant here.
f is the reciprocal of what it was before, but yes, this looks good. I am happy with this proof.