>>769
Y:=R∪{∞}には∞を含むコンパクトが無い