That's the other way around. From above you get true, and from below you get false.
Note that 0.999... represents the limit from above for 1-eps. Hence the result is true.
Yeah, my bad.
> Note that 0.999... represents the limit from above for 1-eps. Hence the result is true.
I mean you can define 0.999… like that if you want. You'll get 1. So what? Your detour via `f` provided nothing.
That's the other way around. From above you get true, and from below you get false.
Note that 0.999... represents the limit from above for 1-eps. Hence the result is true.