いいえ、
x > 9.999999e-1 && x > 1.0f - FLT_EPSILON && x < 1.0
を満たすxが存在します。