No.14170644 ViewReplyOriginalReport
> sup(O) < inf(O)