No.11892560 ViewReplyOriginalReport
So what's the complement of [1, ]? Is it [, 0.999...)?