I would prefer, given the domain, to amend to "given an R between 0 and infinity, I will return R for all R < 1, or 1/R otherwise". But yes, the proof was flawed.