>>874
たぶん君は「任意の実数Yに対して、ある実数Xが存在し、Y≧X」
というのを考えているんだろうが、これとさっきの命題は異なる命題だ。