どれもピュアマスと関係なくね？
40年間エンジニアリングで解析学使ってても、
大抵コーシー列にも収束にもコンパクトにも到達できないよ。