>>495
あんたの思わせぶりな書き方に俺はすっかり混乱させられたよ。

それはさておき、0.1^Nがアルキメデス性に拠らずいくらでも0に近づくというのはなぜだ？

0.1=1/b
非アルキメデス性の定義は>>537の通り
非アルキメデス体の中で整数全体をn->b^nでマップした像の上界をuと置く

このとき (∀n∈N ) b^n < u よって (∀n∈N ) 1/u < 0.1^n
となるようだが、そんな単純な話ではない？