ああ、安達が「無限小数なんてない！」と吠える理由がやっとわかった

例えば
I_0=[0,3]
I_1=[0,3.1]
I_2＝[0,3.14]
…
として
∪(n∈N)I_n
を考えると
[0,3.14…]ではなく[0,3.14…)
になるんだよな
つまり無限小数は”端っこの点”にはならない
（専門用語でいえば、閉区間ではなく半開区間になる）

でもこのことを以て
π＞3.1415…
というのはおかしいんだよな