> That's the other way around. From above you get true, and from below you get false. Yeah, my bad. > Note that 0.999... represents the limit from above for 1

> That's the other way around. From above you get true, and from below you get false. 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.