>>105
limの定義がおかしいんだけど(何故かこれだけユークリッド位相)
ここ背理法関係あるの?